Matches in ISWC2014 Benchmark for { ?s ?p 7.999999999999999. }
- 1631871 cpu_core_0 "7.999999999999999".
- 1633531 cpu_core_0 "7.999999999999999".
- 1634911 cpu_core_0 "7.999999999999999".
- 1648376 cpu_core_0 "7.999999999999999".
- 1650143 cpu_core_0 "7.999999999999999".
- 1652235 cpu_core_0 "7.999999999999999".
- 1674059 cpu_core_0 "7.999999999999999".
- 1677972 cpu_core_0 "7.999999999999999".
- 1718645 cpu_core_0 "7.999999999999999".
- 1719834 cpu_core_0 "7.999999999999999".
- 1722391 cpu_core_0 "7.999999999999999".
- 1723718 cpu_core_0 "7.999999999999999".
- 1724277 cpu_core_0 "7.999999999999999".
- 1724637 cpu_core_0 "7.999999999999999".
- 1727483 cpu_core_0 "7.999999999999999".
- 1727991 cpu_core_0 "7.999999999999999".
- 1728636 cpu_core_0 "7.999999999999999".
- 1729039 cpu_core_0 "7.999999999999999".
- 1730945 cpu_core_0 "7.999999999999999".
- 1731485 cpu_core_0 "7.999999999999999".
- 1733174 cpu_core_0 "7.999999999999999".
- 1734352 cpu_core_0 "7.999999999999999".
- 1740630 cpu_core_0 "7.999999999999999".
- 1745333 cpu_core_0 "7.999999999999999".
- 1745596 cpu_core_0 "7.999999999999999".
- 1747266 cpu_core_0 "7.999999999999999".
- 1748256 cpu_core_0 "7.999999999999999".
- 1749017 cpu_core_0 "7.999999999999999".
- 1749198 cpu_core_0 "7.999999999999999".
- 1749761 cpu_core_0 "7.999999999999999".
- 1751901 cpu_core_0 "7.999999999999999".
- 1752039 cpu_core_0 "7.999999999999999".
- 1754524 cpu_core_0 "7.999999999999999".
- 1755534 cpu_core_0 "7.999999999999999".
- 1760475 cpu_core_0 "7.999999999999999".
- 1762074 cpu_core_0 "7.999999999999999".
- 1765754 cpu_core_0 "7.999999999999999".
- 1766569 cpu_core_0 "7.999999999999999".
- 1766654 cpu_core_0 "7.999999999999999".
- 1770058 cpu_core_0 "7.999999999999999".
- 1771001 cpu_core_0 "7.999999999999999".
- 1772675 cpu_core_0 "7.999999999999999".
- 1776503 cpu_core_0 "7.999999999999999".
- 1780389 cpu_core_0 "7.999999999999999".
- 1783846 cpu_core_0 "7.999999999999999".
- 1787433 cpu_core_0 "7.999999999999999".
- 1788254 cpu_core_0 "7.999999999999999".
- 1788350 cpu_core_0 "7.999999999999999".
- 1798237 cpu_core_0 "7.999999999999999".
- 1799301 cpu_core_0 "7.999999999999999".
- 1802632 cpu_core_0 "7.999999999999999".
- 1803081 cpu_core_0 "7.999999999999999".
- 1805361 cpu_core_0 "7.999999999999999".
- 1805622 cpu_core_0 "7.999999999999999".
- 1807597 cpu_core_0 "7.999999999999999".
- 1807686 cpu_core_0 "7.999999999999999".
- 1811833 cpu_core_0 "7.999999999999999".
- 1817277 cpu_core_0 "7.999999999999999".
- 1826758 cpu_core_0 "7.999999999999999".
- 1830047 cpu_core_0 "7.999999999999999".
- 1831105 cpu_core_0 "7.999999999999999".
- 1831527 cpu_core_0 "7.999999999999999".
- 1833462 cpu_core_0 "7.999999999999999".
- 1835201 cpu_core_0 "7.999999999999999".
- 1838470 cpu_core_0 "7.999999999999999".
- 1841619 cpu_core_0 "7.999999999999999".
- 1842137 cpu_core_0 "7.999999999999999".
- 1843200 cpu_core_0 "7.999999999999999".
- 1844049 cpu_core_0 "7.999999999999999".
- 1845689 cpu_core_0 "7.999999999999999".
- 1845770 cpu_core_0 "7.999999999999999".
- 1847197 cpu_core_0 "7.999999999999999".
- 1851954 cpu_core_0 "7.999999999999999".
- 1854290 cpu_core_0 "7.999999999999999".
- 1854545 cpu_core_0 "7.999999999999999".
- 1855317 cpu_core_0 "7.999999999999999".
- 1857717 cpu_core_0 "7.999999999999999".
- 1858655 cpu_core_0 "7.999999999999999".
- 1860805 cpu_core_0 "7.999999999999999".
- 1862376 cpu_core_0 "7.999999999999999".
- 1863085 cpu_core_0 "7.999999999999999".
- 1864550 cpu_core_0 "7.999999999999999".
- 1864568 cpu_core_0 "7.999999999999999".
- 1867015 cpu_core_0 "7.999999999999999".
- 1867636 cpu_core_0 "7.999999999999999".
- 1867813 cpu_core_0 "7.999999999999999".
- 1868807 cpu_core_0 "7.999999999999999".
- 1870403 cpu_core_0 "7.999999999999999".
- 1871566 cpu_core_0 "7.999999999999999".
- 1874620 cpu_core_0 "7.999999999999999".
- 1876359 cpu_core_0 "7.999999999999999".
- 1879407 cpu_core_0 "7.999999999999999".
- 1883469 cpu_core_0 "7.999999999999999".
- 1885384 cpu_core_0 "7.999999999999999".
- 1892019 cpu_core_0 "7.999999999999999".
- 1893253 cpu_core_0 "7.999999999999999".
- 1898277 cpu_core_0 "7.999999999999999".
- 1899984 cpu_core_0 "7.999999999999999".
- 1903980 cpu_core_0 "7.999999999999999".
- 1917211 cpu_core_0 "7.999999999999999".