Matches in ISWC2014 Benchmark for { ?s ?p 9.000000000000002. }
- 1733639 cpu_core_0 "9.000000000000002".
- 1733733 cpu_core_0 "9.000000000000002".
- 1733773 cpu_core_0 "9.000000000000002".
- 1733807 cpu_core_0 "9.000000000000002".
- 1733830 cpu_core_0 "9.000000000000002".
- 1733959 cpu_core_0 "9.000000000000002".
- 1733975 cpu_core_0 "9.000000000000002".
- 1733978 cpu_core_0 "9.000000000000002".
- 1734334 cpu_core_0 "9.000000000000002".
- 1734424 cpu_core_0 "9.000000000000002".
- 1734601 cpu_core_0 "9.000000000000002".
- 1734651 cpu_core_0 "9.000000000000002".
- 1734686 cpu_core_0 "9.000000000000002".
- 1734700 cpu_core_0 "9.000000000000002".
- 1734769 cpu_core_0 "9.000000000000002".
- 1734827 cpu_core_0 "9.000000000000002".
- 1734848 cpu_core_0 "9.000000000000002".
- 1734965 cpu_core_0 "9.000000000000002".
- 1734980 cpu_core_0 "9.000000000000002".
- 1735022 cpu_core_0 "9.000000000000002".
- 1735030 cpu_core_0 "9.000000000000002".
- 1735057 cpu_core_0 "9.000000000000002".
- 1735060 cpu_core_0 "9.000000000000002".
- 1735076 cpu_core_0 "9.000000000000002".
- 1735147 cpu_core_0 "9.000000000000002".
- 1735320 cpu_core_0 "9.000000000000002".
- 1735402 cpu_core_0 "9.000000000000002".
- 1735412 cpu_core_0 "9.000000000000002".
- 1735420 cpu_core_0 "9.000000000000002".
- 1735436 cpu_core_0 "9.000000000000002".
- 1735455 cpu_core_0 "9.000000000000002".
- 1735463 cpu_core_0 "9.000000000000002".
- 1735559 cpu_core_0 "9.000000000000002".
- 1735684 cpu_core_0 "9.000000000000002".
- 1735779 cpu_core_0 "9.000000000000002".
- 1735824 cpu_core_0 "9.000000000000002".
- 1735917 cpu_core_0 "9.000000000000002".
- 1735985 cpu_core_0 "9.000000000000002".
- 1736019 cpu_core_0 "9.000000000000002".
- 1736394 cpu_core_0 "9.000000000000002".
- 1736640 cpu_core_0 "9.000000000000002".
- 1736663 cpu_core_0 "9.000000000000002".
- 1736665 cpu_core_0 "9.000000000000002".
- 1736697 cpu_core_0 "9.000000000000002".
- 1736716 cpu_core_0 "9.000000000000002".
- 1736773 cpu_core_0 "9.000000000000002".
- 1736805 cpu_core_0 "9.000000000000002".
- 1737096 cpu_core_0 "9.000000000000002".
- 1737170 cpu_core_0 "9.000000000000002".
- 1737218 cpu_core_0 "9.000000000000002".
- 1737261 cpu_core_0 "9.000000000000002".
- 1737309 cpu_core_0 "9.000000000000002".
- 1737317 cpu_core_0 "9.000000000000002".
- 1737325 cpu_core_0 "9.000000000000002".
- 1737474 cpu_core_0 "9.000000000000002".
- 1738063 cpu_core_0 "9.000000000000002".
- 1738136 cpu_core_0 "9.000000000000002".
- 1738150 cpu_core_0 "9.000000000000002".
- 1738268 cpu_core_0 "9.000000000000002".
- 1738625 cpu_core_0 "9.000000000000002".
- 1738733 cpu_core_0 "9.000000000000002".
- 1739160 cpu_core_0 "9.000000000000002".
- 1739210 cpu_core_0 "9.000000000000002".
- 1739526 cpu_core_0 "9.000000000000002".
- 1739637 cpu_core_0 "9.000000000000002".
- 1739655 cpu_core_0 "9.000000000000002".
- 1739762 cpu_core_0 "9.000000000000002".
- 1739835 cpu_core_0 "9.000000000000002".
- 1739872 cpu_core_0 "9.000000000000002".
- 1739921 cpu_core_0 "9.000000000000002".
- 1739979 cpu_core_0 "9.000000000000002".
- 1739997 cpu_core_0 "9.000000000000002".
- 1740000 cpu_core_0 "9.000000000000002".
- 1740054 cpu_core_0 "9.000000000000002".
- 1740077 cpu_core_0 "9.000000000000002".
- 1740117 cpu_core_0 "9.000000000000002".
- 1740147 cpu_core_0 "9.000000000000002".
- 1740344 cpu_core_0 "9.000000000000002".
- 1740375 cpu_core_0 "9.000000000000002".
- 1740384 cpu_core_0 "9.000000000000002".
- 1740390 cpu_core_0 "9.000000000000002".
- 1740401 cpu_core_0 "9.000000000000002".
- 1740444 cpu_core_0 "9.000000000000002".
- 1740533 cpu_core_0 "9.000000000000002".
- 1740550 cpu_core_0 "9.000000000000002".
- 1740621 cpu_core_0 "9.000000000000002".
- 1740649 cpu_core_0 "9.000000000000002".
- 1740659 cpu_core_0 "9.000000000000002".
- 1740741 cpu_core_0 "9.000000000000002".
- 1740781 cpu_core_0 "9.000000000000002".
- 1740826 cpu_core_0 "9.000000000000002".
- 1741001 cpu_core_0 "9.000000000000002".
- 1741201 cpu_core_0 "9.000000000000002".
- 1741323 cpu_core_0 "9.000000000000002".
- 1741325 cpu_core_0 "9.000000000000002".
- 1741330 cpu_core_0 "9.000000000000002".
- 1741396 cpu_core_0 "9.000000000000002".
- 1741482 cpu_core_0 "9.000000000000002".
- 1741759 cpu_core_0 "9.000000000000002".
- 1742217 cpu_core_0 "9.000000000000002".