Matches in ISWC2014 Benchmark for { ?s ?p 9.000000000000002. }
- 1766894 cpu_core_0 "9.000000000000002".
- 1766905 cpu_core_0 "9.000000000000002".
- 1766914 cpu_core_0 "9.000000000000002".
- 1767594 cpu_core_0 "9.000000000000002".
- 1768025 cpu_core_0 "9.000000000000002".
- 1768170 cpu_core_0 "9.000000000000002".
- 1768281 cpu_core_0 "9.000000000000002".
- 1768303 cpu_core_0 "9.000000000000002".
- 1768364 cpu_core_0 "9.000000000000002".
- 1768497 cpu_core_0 "9.000000000000002".
- 1768631 cpu_core_0 "9.000000000000002".
- 1768674 cpu_core_0 "9.000000000000002".
- 1768725 cpu_core_0 "9.000000000000002".
- 1768794 cpu_core_0 "9.000000000000002".
- 1768833 cpu_core_0 "9.000000000000002".
- 1768851 cpu_core_0 "9.000000000000002".
- 1768857 cpu_core_0 "9.000000000000002".
- 1768910 cpu_core_0 "9.000000000000002".
- 1768912 cpu_core_0 "9.000000000000002".
- 1768978 cpu_core_0 "9.000000000000002".
- 1769075 cpu_core_0 "9.000000000000002".
- 1769091 cpu_core_0 "9.000000000000002".
- 1769129 cpu_core_0 "9.000000000000002".
- 1769145 cpu_core_0 "9.000000000000002".
- 1769165 cpu_core_0 "9.000000000000002".
- 1769184 cpu_core_0 "9.000000000000002".
- 1769394 cpu_core_0 "9.000000000000002".
- 1769405 cpu_core_0 "9.000000000000002".
- 1769472 cpu_core_0 "9.000000000000002".
- 1769493 cpu_core_0 "9.000000000000002".
- 1769494 cpu_core_0 "9.000000000000002".
- 1769521 cpu_core_0 "9.000000000000002".
- 1769607 cpu_core_0 "9.000000000000002".
- 1769647 cpu_core_0 "9.000000000000002".
- 1769741 cpu_core_0 "9.000000000000002".
- 1769976 cpu_core_0 "9.000000000000002".
- 1769980 cpu_core_0 "9.000000000000002".
- 1769993 cpu_core_0 "9.000000000000002".
- 1770182 cpu_core_0 "9.000000000000002".
- 1770231 cpu_core_0 "9.000000000000002".
- 1770286 cpu_core_0 "9.000000000000002".
- 1770334 cpu_core_0 "9.000000000000002".
- 1770508 cpu_core_0 "9.000000000000002".
- 1770541 cpu_core_0 "9.000000000000002".
- 1770559 cpu_core_0 "9.000000000000002".
- 1770609 cpu_core_0 "9.000000000000002".
- 1770662 cpu_core_0 "9.000000000000002".
- 1770869 cpu_core_0 "9.000000000000002".
- 1771191 cpu_core_0 "9.000000000000002".
- 1771254 cpu_core_0 "9.000000000000002".
- 1771360 cpu_core_0 "9.000000000000002".
- 1771374 cpu_core_0 "9.000000000000002".
- 1771510 cpu_core_0 "9.000000000000002".
- 1771515 cpu_core_0 "9.000000000000002".
- 1771648 cpu_core_0 "9.000000000000002".
- 1771769 cpu_core_0 "9.000000000000002".
- 1772090 cpu_core_0 "9.000000000000002".
- 1772171 cpu_core_0 "9.000000000000002".
- 1772173 cpu_core_0 "9.000000000000002".
- 1772207 cpu_core_0 "9.000000000000002".
- 1772391 cpu_core_0 "9.000000000000002".
- 1772823 cpu_core_0 "9.000000000000002".
- 1773056 cpu_core_0 "9.000000000000002".
- 1773195 cpu_core_0 "9.000000000000002".
- 1773294 cpu_core_0 "9.000000000000002".
- 1773499 cpu_core_0 "9.000000000000002".
- 1773852 cpu_core_0 "9.000000000000002".
- 1774037 cpu_core_0 "9.000000000000002".
- 1774225 cpu_core_0 "9.000000000000002".
- 1774253 cpu_core_0 "9.000000000000002".
- 1774264 cpu_core_0 "9.000000000000002".
- 1774305 cpu_core_0 "9.000000000000002".
- 1774461 cpu_core_0 "9.000000000000002".
- 1774479 cpu_core_0 "9.000000000000002".
- 1774546 cpu_core_0 "9.000000000000002".
- 1774554 cpu_core_0 "9.000000000000002".
- 1774636 cpu_core_0 "9.000000000000002".
- 1774716 cpu_core_0 "9.000000000000002".
- 1774839 cpu_core_0 "9.000000000000002".
- 1774856 cpu_core_0 "9.000000000000002".
- 1774866 cpu_core_0 "9.000000000000002".
- 1774972 cpu_core_0 "9.000000000000002".
- 1775053 cpu_core_0 "9.000000000000002".
- 1775070 cpu_core_0 "9.000000000000002".
- 1775111 cpu_core_0 "9.000000000000002".
- 1775192 cpu_core_0 "9.000000000000002".
- 1775575 cpu_core_0 "9.000000000000002".
- 1775647 cpu_core_0 "9.000000000000002".
- 1775694 cpu_core_0 "9.000000000000002".
- 1775750 cpu_core_0 "9.000000000000002".
- 1775764 cpu_core_0 "9.000000000000002".
- 1775783 cpu_core_0 "9.000000000000002".
- 1775791 cpu_core_0 "9.000000000000002".
- 1775875 cpu_core_0 "9.000000000000002".
- 1775892 cpu_core_0 "9.000000000000002".
- 1775962 cpu_core_0 "9.000000000000002".
- 1775994 cpu_core_0 "9.000000000000002".
- 1776109 cpu_core_0 "9.000000000000002".
- 1776199 cpu_core_0 "9.000000000000002".
- 1776254 cpu_core_0 "9.000000000000002".