Matches in ISWC2014 Benchmark for { ?s ?p 7.999999999999999. }
- 1614257 cpu_core_1 "7.999999999999999".
- 1620348 cpu_core_1 "7.999999999999999".
- 1628787 cpu_core_1 "7.999999999999999".
- 1630862 cpu_core_1 "7.999999999999999".
- 1677045 cpu_core_1 "7.999999999999999".
- 1678146 cpu_core_1 "7.999999999999999".
- 1688279 cpu_core_1 "7.999999999999999".
- 1714251 cpu_core_1 "7.999999999999999".
- 1716221 cpu_core_1 "7.999999999999999".
- 1718362 cpu_core_1 "7.999999999999999".
- 1720084 cpu_core_1 "7.999999999999999".
- 1720936 cpu_core_1 "7.999999999999999".
- 1721748 cpu_core_1 "7.999999999999999".
- 1722893 cpu_core_1 "7.999999999999999".
- 1723950 cpu_core_1 "7.999999999999999".
- 1725143 cpu_core_1 "7.999999999999999".
- 1728592 cpu_core_1 "7.999999999999999".
- 1730371 cpu_core_1 "7.999999999999999".
- 1733362 cpu_core_1 "7.999999999999999".
- 1744137 cpu_core_1 "7.999999999999999".
- 1745222 cpu_core_1 "7.999999999999999".
- 1755899 cpu_core_1 "7.999999999999999".
- 1756112 cpu_core_1 "7.999999999999999".
- 1758468 cpu_core_1 "7.999999999999999".
- 1764187 cpu_core_1 "7.999999999999999".
- 1764770 cpu_core_1 "7.999999999999999".
- 1767889 cpu_core_1 "7.999999999999999".
- 1770879 cpu_core_1 "7.999999999999999".
- 1771678 cpu_core_1 "7.999999999999999".
- 1773568 cpu_core_1 "7.999999999999999".
- 1779392 cpu_core_1 "7.999999999999999".
- 1781728 cpu_core_1 "7.999999999999999".
- 1784013 cpu_core_1 "7.999999999999999".
- 1784330 cpu_core_1 "7.999999999999999".
- 1785250 cpu_core_1 "7.999999999999999".
- 1789216 cpu_core_1 "7.999999999999999".
- 1794546 cpu_core_1 "7.999999999999999".
- 1797287 cpu_core_1 "7.999999999999999".
- 1797662 cpu_core_1 "7.999999999999999".
- 1798576 cpu_core_1 "7.999999999999999".
- 1800808 cpu_core_1 "7.999999999999999".
- 1802676 cpu_core_1 "7.999999999999999".
- 1814596 cpu_core_1 "7.999999999999999".
- 1816973 cpu_core_1 "7.999999999999999".
- 1817282 cpu_core_1 "7.999999999999999".
- 1817388 cpu_core_1 "7.999999999999999".
- 1817959 cpu_core_1 "7.999999999999999".
- 1819354 cpu_core_1 "7.999999999999999".
- 1819493 cpu_core_1 "7.999999999999999".
- 1820084 cpu_core_1 "7.999999999999999".
- 1823761 cpu_core_1 "7.999999999999999".
- 1829144 cpu_core_1 "7.999999999999999".
- 1832041 cpu_core_1 "7.999999999999999".
- 1832569 cpu_core_1 "7.999999999999999".
- 1833309 cpu_core_1 "7.999999999999999".
- 1836862 cpu_core_1 "7.999999999999999".
- 1841508 cpu_core_1 "7.999999999999999".
- 1845028 cpu_core_1 "7.999999999999999".
- 1847422 cpu_core_1 "7.999999999999999".
- 1848046 cpu_core_1 "7.999999999999999".
- 1848376 cpu_core_1 "7.999999999999999".
- 1850825 cpu_core_1 "7.999999999999999".
- 1851201 cpu_core_1 "7.999999999999999".
- 1851674 cpu_core_1 "7.999999999999999".
- 1858061 cpu_core_1 "7.999999999999999".
- 1859848 cpu_core_1 "7.999999999999999".
- 1863133 cpu_core_1 "7.999999999999999".
- 1863923 cpu_core_1 "7.999999999999999".
- 1871706 cpu_core_1 "7.999999999999999".
- 1875844 cpu_core_1 "7.999999999999999".
- 1878403 cpu_core_1 "7.999999999999999".
- 1879174 cpu_core_1 "7.999999999999999".
- 1879643 cpu_core_1 "7.999999999999999".
- 1882991 cpu_core_1 "7.999999999999999".
- 1883754 cpu_core_1 "7.999999999999999".
- 1883981 cpu_core_1 "7.999999999999999".
- 1885529 cpu_core_1 "7.999999999999999".
- 1885673 cpu_core_1 "7.999999999999999".
- 1886378 cpu_core_1 "7.999999999999999".
- 1886633 cpu_core_1 "7.999999999999999".
- 1886827 cpu_core_1 "7.999999999999999".
- 1890638 cpu_core_1 "7.999999999999999".
- 1891129 cpu_core_1 "7.999999999999999".
- 1893921 cpu_core_1 "7.999999999999999".
- 1898734 cpu_core_1 "7.999999999999999".
- 1902204 cpu_core_1 "7.999999999999999".
- 1902499 cpu_core_1 "7.999999999999999".
- 1903525 cpu_core_1 "7.999999999999999".
- 1904636 cpu_core_1 "7.999999999999999".
- 1906347 cpu_core_1 "7.999999999999999".
- 1908226 cpu_core_1 "7.999999999999999".
- 1908345 cpu_core_1 "7.999999999999999".
- 1913099 cpu_core_1 "7.999999999999999".
- 326198 cpu_core_1 "7.999999999999999".
- 334670 cpu_core_1 "7.999999999999999".
- 338723 cpu_core_1 "7.999999999999999".
- 348240 cpu_core_1 "7.999999999999999".
- 399482 cpu_core_1 "7.999999999999999".
- 472513 cpu_core_1 "7.999999999999999".
- 535360 cpu_core_1 "7.999999999999999".