Matches in ISWC2014 Benchmark for { ?s ?p 15.000000000000002. }
- 1662469 cpu_core_0 "15.000000000000002".
- 1663627 cpu_core_0 "15.000000000000002".
- 1669778 cpu_core_0 "15.000000000000002".
- 1670033 cpu_core_0 "15.000000000000002".
- 1670048 cpu_core_0 "15.000000000000002".
- 1670306 cpu_core_0 "15.000000000000002".
- 1670567 cpu_core_0 "15.000000000000002".
- 1670600 cpu_core_0 "15.000000000000002".
- 1670652 cpu_core_0 "15.000000000000002".
- 1670750 cpu_core_0 "15.000000000000002".
- 1670806 cpu_core_0 "15.000000000000002".
- 1671282 cpu_core_0 "15.000000000000002".
- 1671736 cpu_core_0 "15.000000000000002".
- 1672405 cpu_core_0 "15.000000000000002".
- 1672567 cpu_core_0 "15.000000000000002".
- 1672584 cpu_core_0 "15.000000000000002".
- 1672751 cpu_core_0 "15.000000000000002".
- 1672762 cpu_core_0 "15.000000000000002".
- 1672796 cpu_core_0 "15.000000000000002".
- 1673025 cpu_core_0 "15.000000000000002".
- 1673117 cpu_core_0 "15.000000000000002".
- 1673477 cpu_core_0 "15.000000000000002".
- 1673498 cpu_core_0 "15.000000000000002".
- 1674011 cpu_core_0 "15.000000000000002".
- 1684707 cpu_core_0 "15.000000000000002".
- 1686044 cpu_core_0 "15.000000000000002".
- 1687254 cpu_core_0 "15.000000000000002".
- 1691979 cpu_core_0 "15.000000000000002".
- 1693382 cpu_core_0 "15.000000000000002".
- 1693514 cpu_core_0 "15.000000000000002".
- 1693573 cpu_core_0 "15.000000000000002".
- 1694282 cpu_core_0 "15.000000000000002".
- 1694328 cpu_core_0 "15.000000000000002".
- 1694388 cpu_core_0 "15.000000000000002".
- 1694416 cpu_core_0 "15.000000000000002".
- 1710670 cpu_core_0 "15.000000000000002".
- 1710688 cpu_core_0 "15.000000000000002".
- 1710746 cpu_core_0 "15.000000000000002".
- 1710900 cpu_core_0 "15.000000000000002".
- 1711302 cpu_core_0 "15.000000000000002".
- 1711443 cpu_core_0 "15.000000000000002".
- 1711465 cpu_core_0 "15.000000000000002".
- 1712036 cpu_core_0 "15.000000000000002".
- 1712490 cpu_core_0 "15.000000000000002".
- 1719876 cpu_core_0 "15.000000000000002".
- 1725030 cpu_core_0 "15.000000000000002".
- 1726672 cpu_core_0 "15.000000000000002".
- 1728696 cpu_core_0 "15.000000000000002".
- 1737194 cpu_core_0 "15.000000000000002".
- 1739001 cpu_core_0 "15.000000000000002".
- 1744022 cpu_core_0 "15.000000000000002".
- 1745840 cpu_core_0 "15.000000000000002".
- 1749049 cpu_core_0 "15.000000000000002".
- 1751696 cpu_core_0 "15.000000000000002".
- 1752774 cpu_core_0 "15.000000000000002".
- 1753341 cpu_core_0 "15.000000000000002".
- 1758463 cpu_core_0 "15.000000000000002".
- 1760580 cpu_core_0 "15.000000000000002".
- 1764407 cpu_core_0 "15.000000000000002".
- 1766296 cpu_core_0 "15.000000000000002".
- 1768873 cpu_core_0 "15.000000000000002".
- 1770160 cpu_core_0 "15.000000000000002".
- 1782456 cpu_core_0 "15.000000000000002".
- 1785232 cpu_core_0 "15.000000000000002".
- 1785238 cpu_core_0 "15.000000000000002".
- 1785615 cpu_core_0 "15.000000000000002".
- 1786640 cpu_core_0 "15.000000000000002".
- 1786771 cpu_core_0 "15.000000000000002".
- 1787768 cpu_core_0 "15.000000000000002".
- 1791253 cpu_core_0 "15.000000000000002".
- 1797228 cpu_core_0 "15.000000000000002".
- 1800622 cpu_core_0 "15.000000000000002".
- 1810678 cpu_core_0 "15.000000000000002".
- 1825817 cpu_core_0 "15.000000000000002".
- 1825921 cpu_core_0 "15.000000000000002".
- 1826853 cpu_core_0 "15.000000000000002".
- 1828227 cpu_core_0 "15.000000000000002".
- 1828453 cpu_core_0 "15.000000000000002".
- 1829498 cpu_core_0 "15.000000000000002".
- 1834090 cpu_core_0 "15.000000000000002".
- 1835460 cpu_core_0 "15.000000000000002".
- 1836302 cpu_core_0 "15.000000000000002".
- 1843456 cpu_core_0 "15.000000000000002".
- 1846388 cpu_core_0 "15.000000000000002".
- 1846690 cpu_core_0 "15.000000000000002".
- 1856705 cpu_core_0 "15.000000000000002".
- 1864918 cpu_core_0 "15.000000000000002".
- 1871938 cpu_core_0 "15.000000000000002".
- 1877606 cpu_core_0 "15.000000000000002".
- 1879281 cpu_core_0 "15.000000000000002".
- 1886049 cpu_core_0 "15.000000000000002".
- 1886504 cpu_core_0 "15.000000000000002".
- 1896191 cpu_core_0 "15.000000000000002".
- 1898095 cpu_core_0 "15.000000000000002".
- 1898321 cpu_core_0 "15.000000000000002".
- 1901015 cpu_core_0 "15.000000000000002".
- 1902885 cpu_core_0 "15.000000000000002".
- 1904118 cpu_core_0 "15.000000000000002".
- 1905017 cpu_core_0 "15.000000000000002".
- 1905263 cpu_core_0 "15.000000000000002".