Matches in ISWC2014 Benchmark for { ?s ?p 9.000000000000002. }
- 1817749 cpu_core_0 "9.000000000000002".
- 1817756 cpu_core_0 "9.000000000000002".
- 1817859 cpu_core_0 "9.000000000000002".
- 1817882 cpu_core_0 "9.000000000000002".
- 1817923 cpu_core_0 "9.000000000000002".
- 1817975 cpu_core_0 "9.000000000000002".
- 1818058 cpu_core_0 "9.000000000000002".
- 1818093 cpu_core_0 "9.000000000000002".
- 1818099 cpu_core_0 "9.000000000000002".
- 1818189 cpu_core_0 "9.000000000000002".
- 1818533 cpu_core_0 "9.000000000000002".
- 1818639 cpu_core_0 "9.000000000000002".
- 1818812 cpu_core_0 "9.000000000000002".
- 1818870 cpu_core_0 "9.000000000000002".
- 1818961 cpu_core_0 "9.000000000000002".
- 1818967 cpu_core_0 "9.000000000000002".
- 1819183 cpu_core_0 "9.000000000000002".
- 1819382 cpu_core_0 "9.000000000000002".
- 1819420 cpu_core_0 "9.000000000000002".
- 1819476 cpu_core_0 "9.000000000000002".
- 1819520 cpu_core_0 "9.000000000000002".
- 1819637 cpu_core_0 "9.000000000000002".
- 1819800 cpu_core_0 "9.000000000000002".
- 1819811 cpu_core_0 "9.000000000000002".
- 1819924 cpu_core_0 "9.000000000000002".
- 1819952 cpu_core_0 "9.000000000000002".
- 1820082 cpu_core_0 "9.000000000000002".
- 1820100 cpu_core_0 "9.000000000000002".
- 1820140 cpu_core_0 "9.000000000000002".
- 1820535 cpu_core_0 "9.000000000000002".
- 1820554 cpu_core_0 "9.000000000000002".
- 1820830 cpu_core_0 "9.000000000000002".
- 1821130 cpu_core_0 "9.000000000000002".
- 1821197 cpu_core_0 "9.000000000000002".
- 1821335 cpu_core_0 "9.000000000000002".
- 1821494 cpu_core_0 "9.000000000000002".
- 1821861 cpu_core_0 "9.000000000000002".
- 1821882 cpu_core_0 "9.000000000000002".
- 1821896 cpu_core_0 "9.000000000000002".
- 1822085 cpu_core_0 "9.000000000000002".
- 1822345 cpu_core_0 "9.000000000000002".
- 1823081 cpu_core_0 "9.000000000000002".
- 1823099 cpu_core_0 "9.000000000000002".
- 1823103 cpu_core_0 "9.000000000000002".
- 1823306 cpu_core_0 "9.000000000000002".
- 1823316 cpu_core_0 "9.000000000000002".
- 1823326 cpu_core_0 "9.000000000000002".
- 1823437 cpu_core_0 "9.000000000000002".
- 1823503 cpu_core_0 "9.000000000000002".
- 1823518 cpu_core_0 "9.000000000000002".
- 1823649 cpu_core_0 "9.000000000000002".
- 1823806 cpu_core_0 "9.000000000000002".
- 1823893 cpu_core_0 "9.000000000000002".
- 1823895 cpu_core_0 "9.000000000000002".
- 1823907 cpu_core_0 "9.000000000000002".
- 1823914 cpu_core_0 "9.000000000000002".
- 1824406 cpu_core_0 "9.000000000000002".
- 1824494 cpu_core_0 "9.000000000000002".
- 1824659 cpu_core_0 "9.000000000000002".
- 1824723 cpu_core_0 "9.000000000000002".
- 1824775 cpu_core_0 "9.000000000000002".
- 1824794 cpu_core_0 "9.000000000000002".
- 1824990 cpu_core_0 "9.000000000000002".
- 1825231 cpu_core_0 "9.000000000000002".
- 1825310 cpu_core_0 "9.000000000000002".
- 1825321 cpu_core_0 "9.000000000000002".
- 1825503 cpu_core_0 "9.000000000000002".
- 1825525 cpu_core_0 "9.000000000000002".
- 1825552 cpu_core_0 "9.000000000000002".
- 1825716 cpu_core_0 "9.000000000000002".
- 1825953 cpu_core_0 "9.000000000000002".
- 1825979 cpu_core_0 "9.000000000000002".
- 1826229 cpu_core_0 "9.000000000000002".
- 1826438 cpu_core_0 "9.000000000000002".
- 1826510 cpu_core_0 "9.000000000000002".
- 1826574 cpu_core_0 "9.000000000000002".
- 1826892 cpu_core_0 "9.000000000000002".
- 1826969 cpu_core_0 "9.000000000000002".
- 1827062 cpu_core_0 "9.000000000000002".
- 1827303 cpu_core_0 "9.000000000000002".
- 1827374 cpu_core_0 "9.000000000000002".
- 1827386 cpu_core_0 "9.000000000000002".
- 1827928 cpu_core_0 "9.000000000000002".
- 1828016 cpu_core_0 "9.000000000000002".
- 1828097 cpu_core_0 "9.000000000000002".
- 1828457 cpu_core_0 "9.000000000000002".
- 1828890 cpu_core_0 "9.000000000000002".
- 1828948 cpu_core_0 "9.000000000000002".
- 1828980 cpu_core_0 "9.000000000000002".
- 1829052 cpu_core_0 "9.000000000000002".
- 1829055 cpu_core_0 "9.000000000000002".
- 1829071 cpu_core_0 "9.000000000000002".
- 1829120 cpu_core_0 "9.000000000000002".
- 1829250 cpu_core_0 "9.000000000000002".
- 1829252 cpu_core_0 "9.000000000000002".
- 1829335 cpu_core_0 "9.000000000000002".
- 1829377 cpu_core_0 "9.000000000000002".
- 1829379 cpu_core_0 "9.000000000000002".
- 1829385 cpu_core_0 "9.000000000000002".
- 1829454 cpu_core_0 "9.000000000000002".