Matches in ISWC2014 Benchmark for { ?s ?p 9.000000000000002. }
- 1807685 cpu_core_0 "9.000000000000002".
- 1807718 cpu_core_0 "9.000000000000002".
- 1807781 cpu_core_0 "9.000000000000002".
- 1807807 cpu_core_0 "9.000000000000002".
- 1807857 cpu_core_0 "9.000000000000002".
- 1807911 cpu_core_0 "9.000000000000002".
- 1807925 cpu_core_0 "9.000000000000002".
- 1807934 cpu_core_0 "9.000000000000002".
- 1808191 cpu_core_0 "9.000000000000002".
- 1808259 cpu_core_0 "9.000000000000002".
- 1808348 cpu_core_0 "9.000000000000002".
- 1808355 cpu_core_0 "9.000000000000002".
- 1808439 cpu_core_0 "9.000000000000002".
- 1808639 cpu_core_0 "9.000000000000002".
- 1808770 cpu_core_0 "9.000000000000002".
- 1808780 cpu_core_0 "9.000000000000002".
- 1808887 cpu_core_0 "9.000000000000002".
- 1808919 cpu_core_0 "9.000000000000002".
- 1809007 cpu_core_0 "9.000000000000002".
- 1809105 cpu_core_0 "9.000000000000002".
- 1809188 cpu_core_0 "9.000000000000002".
- 1809291 cpu_core_0 "9.000000000000002".
- 1809896 cpu_core_0 "9.000000000000002".
- 1810659 cpu_core_0 "9.000000000000002".
- 1810753 cpu_core_0 "9.000000000000002".
- 1810762 cpu_core_0 "9.000000000000002".
- 1810972 cpu_core_0 "9.000000000000002".
- 1810995 cpu_core_0 "9.000000000000002".
- 1811010 cpu_core_0 "9.000000000000002".
- 1811048 cpu_core_0 "9.000000000000002".
- 1811057 cpu_core_0 "9.000000000000002".
- 1811105 cpu_core_0 "9.000000000000002".
- 1811126 cpu_core_0 "9.000000000000002".
- 1811172 cpu_core_0 "9.000000000000002".
- 1811247 cpu_core_0 "9.000000000000002".
- 1811309 cpu_core_0 "9.000000000000002".
- 1811362 cpu_core_0 "9.000000000000002".
- 1811415 cpu_core_0 "9.000000000000002".
- 1811520 cpu_core_0 "9.000000000000002".
- 1811575 cpu_core_0 "9.000000000000002".
- 1811630 cpu_core_0 "9.000000000000002".
- 1811777 cpu_core_0 "9.000000000000002".
- 1811867 cpu_core_0 "9.000000000000002".
- 1812116 cpu_core_0 "9.000000000000002".
- 1812189 cpu_core_0 "9.000000000000002".
- 1812257 cpu_core_0 "9.000000000000002".
- 1812585 cpu_core_0 "9.000000000000002".
- 1812687 cpu_core_0 "9.000000000000002".
- 1812705 cpu_core_0 "9.000000000000002".
- 1812734 cpu_core_0 "9.000000000000002".
- 1812743 cpu_core_0 "9.000000000000002".
- 1812857 cpu_core_0 "9.000000000000002".
- 1812910 cpu_core_0 "9.000000000000002".
- 1812935 cpu_core_0 "9.000000000000002".
- 1812938 cpu_core_0 "9.000000000000002".
- 1813111 cpu_core_0 "9.000000000000002".
- 1813140 cpu_core_0 "9.000000000000002".
- 1813282 cpu_core_0 "9.000000000000002".
- 1813420 cpu_core_0 "9.000000000000002".
- 1813862 cpu_core_0 "9.000000000000002".
- 1813932 cpu_core_0 "9.000000000000002".
- 1813962 cpu_core_0 "9.000000000000002".
- 1814128 cpu_core_0 "9.000000000000002".
- 1814145 cpu_core_0 "9.000000000000002".
- 1814272 cpu_core_0 "9.000000000000002".
- 1814309 cpu_core_0 "9.000000000000002".
- 1814673 cpu_core_0 "9.000000000000002".
- 1814920 cpu_core_0 "9.000000000000002".
- 1815219 cpu_core_0 "9.000000000000002".
- 1815461 cpu_core_0 "9.000000000000002".
- 1815483 cpu_core_0 "9.000000000000002".
- 1815519 cpu_core_0 "9.000000000000002".
- 1815580 cpu_core_0 "9.000000000000002".
- 1815837 cpu_core_0 "9.000000000000002".
- 1816385 cpu_core_0 "9.000000000000002".
- 1816466 cpu_core_0 "9.000000000000002".
- 1816490 cpu_core_0 "9.000000000000002".
- 1816524 cpu_core_0 "9.000000000000002".
- 1816547 cpu_core_0 "9.000000000000002".
- 1816633 cpu_core_0 "9.000000000000002".
- 1816677 cpu_core_0 "9.000000000000002".
- 1816736 cpu_core_0 "9.000000000000002".
- 1816747 cpu_core_0 "9.000000000000002".
- 1816852 cpu_core_0 "9.000000000000002".
- 1816895 cpu_core_0 "9.000000000000002".
- 1817025 cpu_core_0 "9.000000000000002".
- 1817233 cpu_core_0 "9.000000000000002".
- 1817250 cpu_core_0 "9.000000000000002".
- 1817323 cpu_core_0 "9.000000000000002".
- 1817347 cpu_core_0 "9.000000000000002".
- 1817356 cpu_core_0 "9.000000000000002".
- 1817374 cpu_core_0 "9.000000000000002".
- 1817378 cpu_core_0 "9.000000000000002".
- 1817388 cpu_core_0 "9.000000000000002".
- 1817402 cpu_core_0 "9.000000000000002".
- 1817500 cpu_core_0 "9.000000000000002".
- 1817608 cpu_core_0 "9.000000000000002".
- 1817678 cpu_core_0 "9.000000000000002".
- 1817707 cpu_core_0 "9.000000000000002".
- 1817715 cpu_core_0 "9.000000000000002".