Matches in ISWC2014 Benchmark for { ?s ?p 9.000000000000002. }
- 1797935 cpu_core_0 "9.000000000000002".
- 1797964 cpu_core_0 "9.000000000000002".
- 1798070 cpu_core_0 "9.000000000000002".
- 1798110 cpu_core_0 "9.000000000000002".
- 1798355 cpu_core_0 "9.000000000000002".
- 1798421 cpu_core_0 "9.000000000000002".
- 1798442 cpu_core_0 "9.000000000000002".
- 1798470 cpu_core_0 "9.000000000000002".
- 1798475 cpu_core_0 "9.000000000000002".
- 1798505 cpu_core_0 "9.000000000000002".
- 1798642 cpu_core_0 "9.000000000000002".
- 1798658 cpu_core_0 "9.000000000000002".
- 1798693 cpu_core_0 "9.000000000000002".
- 1798708 cpu_core_0 "9.000000000000002".
- 1798740 cpu_core_0 "9.000000000000002".
- 1798990 cpu_core_0 "9.000000000000002".
- 1799019 cpu_core_0 "9.000000000000002".
- 1799120 cpu_core_0 "9.000000000000002".
- 1799230 cpu_core_0 "9.000000000000002".
- 1799240 cpu_core_0 "9.000000000000002".
- 1799259 cpu_core_0 "9.000000000000002".
- 1799302 cpu_core_0 "9.000000000000002".
- 1799823 cpu_core_0 "9.000000000000002".
- 1799981 cpu_core_0 "9.000000000000002".
- 1800045 cpu_core_0 "9.000000000000002".
- 1800173 cpu_core_0 "9.000000000000002".
- 1800189 cpu_core_0 "9.000000000000002".
- 1800221 cpu_core_0 "9.000000000000002".
- 1800533 cpu_core_0 "9.000000000000002".
- 1800549 cpu_core_0 "9.000000000000002".
- 1800617 cpu_core_0 "9.000000000000002".
- 1801026 cpu_core_0 "9.000000000000002".
- 1801162 cpu_core_0 "9.000000000000002".
- 1801259 cpu_core_0 "9.000000000000002".
- 1801308 cpu_core_0 "9.000000000000002".
- 1801400 cpu_core_0 "9.000000000000002".
- 1801697 cpu_core_0 "9.000000000000002".
- 1801861 cpu_core_0 "9.000000000000002".
- 1801924 cpu_core_0 "9.000000000000002".
- 1802055 cpu_core_0 "9.000000000000002".
- 1802063 cpu_core_0 "9.000000000000002".
- 1802233 cpu_core_0 "9.000000000000002".
- 1802683 cpu_core_0 "9.000000000000002".
- 1803412 cpu_core_0 "9.000000000000002".
- 1803466 cpu_core_0 "9.000000000000002".
- 1803467 cpu_core_0 "9.000000000000002".
- 1803470 cpu_core_0 "9.000000000000002".
- 1803689 cpu_core_0 "9.000000000000002".
- 1803810 cpu_core_0 "9.000000000000002".
- 1803939 cpu_core_0 "9.000000000000002".
- 1803977 cpu_core_0 "9.000000000000002".
- 1804183 cpu_core_0 "9.000000000000002".
- 1804206 cpu_core_0 "9.000000000000002".
- 1804248 cpu_core_0 "9.000000000000002".
- 1804298 cpu_core_0 "9.000000000000002".
- 1804334 cpu_core_0 "9.000000000000002".
- 1804344 cpu_core_0 "9.000000000000002".
- 1804352 cpu_core_0 "9.000000000000002".
- 1804368 cpu_core_0 "9.000000000000002".
- 1804423 cpu_core_0 "9.000000000000002".
- 1804439 cpu_core_0 "9.000000000000002".
- 1804482 cpu_core_0 "9.000000000000002".
- 1804539 cpu_core_0 "9.000000000000002".
- 1804668 cpu_core_0 "9.000000000000002".
- 1804764 cpu_core_0 "9.000000000000002".
- 1804835 cpu_core_0 "9.000000000000002".
- 1804853 cpu_core_0 "9.000000000000002".
- 1804863 cpu_core_0 "9.000000000000002".
- 1804892 cpu_core_0 "9.000000000000002".
- 1804947 cpu_core_0 "9.000000000000002".
- 1804967 cpu_core_0 "9.000000000000002".
- 1804970 cpu_core_0 "9.000000000000002".
- 1805030 cpu_core_0 "9.000000000000002".
- 1805040 cpu_core_0 "9.000000000000002".
- 1805044 cpu_core_0 "9.000000000000002".
- 1805049 cpu_core_0 "9.000000000000002".
- 1805050 cpu_core_0 "9.000000000000002".
- 1805307 cpu_core_0 "9.000000000000002".
- 1805458 cpu_core_0 "9.000000000000002".
- 1805500 cpu_core_0 "9.000000000000002".
- 1805572 cpu_core_0 "9.000000000000002".
- 1805944 cpu_core_0 "9.000000000000002".
- 1806005 cpu_core_0 "9.000000000000002".
- 1806114 cpu_core_0 "9.000000000000002".
- 1806148 cpu_core_0 "9.000000000000002".
- 1806215 cpu_core_0 "9.000000000000002".
- 1806243 cpu_core_0 "9.000000000000002".
- 1806254 cpu_core_0 "9.000000000000002".
- 1806365 cpu_core_0 "9.000000000000002".
- 1806457 cpu_core_0 "9.000000000000002".
- 1806474 cpu_core_0 "9.000000000000002".
- 1806498 cpu_core_0 "9.000000000000002".
- 1806518 cpu_core_0 "9.000000000000002".
- 1806574 cpu_core_0 "9.000000000000002".
- 1806756 cpu_core_0 "9.000000000000002".
- 1806893 cpu_core_0 "9.000000000000002".
- 1807093 cpu_core_0 "9.000000000000002".
- 1807242 cpu_core_0 "9.000000000000002".
- 1807349 cpu_core_0 "9.000000000000002".
- 1807583 cpu_core_0 "9.000000000000002".