Matches in ISWC2014 Benchmark for { ?s ?p 5.88235294117647. }
- 1743646 cpu_core_1 "5.88235294117647".
- 1746790 cpu_core_1 "5.88235294117647".
- 1747091 cpu_core_1 "5.88235294117647".
- 1748454 cpu_core_1 "5.88235294117647".
- 1748579 cpu_core_1 "5.88235294117647".
- 1748823 cpu_core_1 "5.88235294117647".
- 1749433 cpu_core_1 "5.88235294117647".
- 1749749 cpu_core_1 "5.88235294117647".
- 1750550 cpu_core_1 "5.88235294117647".
- 1751768 cpu_core_1 "5.88235294117647".
- 1752832 cpu_core_1 "5.88235294117647".
- 1755497 cpu_core_1 "5.88235294117647".
- 1764440 cpu_core_1 "5.88235294117647".
- 1765116 cpu_core_1 "5.88235294117647".
- 1765258 cpu_core_1 "5.88235294117647".
- 1768303 cpu_core_1 "5.88235294117647".
- 1769903 cpu_core_1 "5.88235294117647".
- 1771900 cpu_core_1 "5.88235294117647".
- 1774418 cpu_core_1 "5.88235294117647".
- 1779044 cpu_core_1 "5.88235294117647".
- 1779918 cpu_core_1 "5.88235294117647".
- 1781589 cpu_core_1 "5.88235294117647".
- 1782972 cpu_core_1 "5.88235294117647".
- 1784094 cpu_core_1 "5.88235294117647".
- 1787052 cpu_core_1 "5.88235294117647".
- 1790722 cpu_core_1 "5.88235294117647".
- 1792623 cpu_core_1 "5.88235294117647".
- 1795767 cpu_core_1 "5.88235294117647".
- 1796476 cpu_core_1 "5.88235294117647".
- 1799679 cpu_core_1 "5.88235294117647".
- 1802822 cpu_core_1 "5.88235294117647".
- 1804887 cpu_core_1 "5.88235294117647".
- 1805403 cpu_core_1 "5.88235294117647".
- 1806487 cpu_core_1 "5.88235294117647".
- 1807719 cpu_core_1 "5.88235294117647".
- 1814270 cpu_core_1 "5.88235294117647".
- 1816220 cpu_core_1 "5.88235294117647".
- 1817646 cpu_core_1 "5.88235294117647".
- 1818764 cpu_core_1 "5.88235294117647".
- 1821448 cpu_core_1 "5.88235294117647".
- 1821860 cpu_core_1 "5.88235294117647".
- 1825565 cpu_core_1 "5.88235294117647".
- 1829677 cpu_core_1 "5.88235294117647".
- 1830106 cpu_core_1 "5.88235294117647".
- 1830560 cpu_core_1 "5.88235294117647".
- 1832508 cpu_core_1 "5.88235294117647".
- 1833033 cpu_core_1 "5.88235294117647".
- 1839252 cpu_core_1 "5.88235294117647".
- 1840279 cpu_core_1 "5.88235294117647".
- 1840731 cpu_core_1 "5.88235294117647".
- 1841844 cpu_core_1 "5.88235294117647".
- 1842115 cpu_core_1 "5.88235294117647".
- 1844255 cpu_core_1 "5.88235294117647".
- 1846295 cpu_core_1 "5.88235294117647".
- 1847453 cpu_core_1 "5.88235294117647".
- 1848293 cpu_core_1 "5.88235294117647".
- 1848316 cpu_core_1 "5.88235294117647".
- 1849062 cpu_core_1 "5.88235294117647".
- 1849656 cpu_core_1 "5.88235294117647".
- 1850840 cpu_core_1 "5.88235294117647".
- 1851187 cpu_core_1 "5.88235294117647".
- 1851353 cpu_core_1 "5.88235294117647".
- 1852491 cpu_core_1 "5.88235294117647".
- 1855238 cpu_core_1 "5.88235294117647".
- 1858421 cpu_core_1 "5.88235294117647".
- 1862695 cpu_core_1 "5.88235294117647".
- 1863004 cpu_core_1 "5.88235294117647".
- 1865048 cpu_core_1 "5.88235294117647".
- 1865105 cpu_core_1 "5.88235294117647".
- 1865918 cpu_core_1 "5.88235294117647".
- 1867320 cpu_core_1 "5.88235294117647".
- 1867350 cpu_core_1 "5.88235294117647".
- 1869023 cpu_core_1 "5.88235294117647".
- 1869042 cpu_core_1 "5.88235294117647".
- 1869388 cpu_core_1 "5.88235294117647".
- 1869611 cpu_core_1 "5.88235294117647".
- 1870483 cpu_core_1 "5.88235294117647".
- 1871106 cpu_core_1 "5.88235294117647".
- 1871476 cpu_core_1 "5.88235294117647".
- 1873006 cpu_core_1 "5.88235294117647".
- 1874777 cpu_core_1 "5.88235294117647".
- 1875324 cpu_core_1 "5.88235294117647".
- 1878844 cpu_core_1 "5.88235294117647".
- 1879499 cpu_core_1 "5.88235294117647".
- 1881408 cpu_core_1 "5.88235294117647".
- 1882195 cpu_core_1 "5.88235294117647".
- 1889445 cpu_core_1 "5.88235294117647".
- 1890500 cpu_core_1 "5.88235294117647".
- 1893421 cpu_core_1 "5.88235294117647".
- 1894150 cpu_core_1 "5.88235294117647".
- 1895633 cpu_core_1 "5.88235294117647".
- 1895683 cpu_core_1 "5.88235294117647".
- 1895981 cpu_core_1 "5.88235294117647".
- 1898133 cpu_core_1 "5.88235294117647".
- 1899179 cpu_core_1 "5.88235294117647".
- 1899274 cpu_core_1 "5.88235294117647".
- 1903730 cpu_core_1 "5.88235294117647".
- 1904852 cpu_core_1 "5.88235294117647".
- 1904910 cpu_core_1 "5.88235294117647".
- 1908746 cpu_core_1 "5.88235294117647".