Matches in ISWC2014 Benchmark for { ?s ?p 9.000000000000002. }
- 1776388 cpu_core_0 "9.000000000000002".
- 1776393 cpu_core_0 "9.000000000000002".
- 1776501 cpu_core_0 "9.000000000000002".
- 1776513 cpu_core_0 "9.000000000000002".
- 1776602 cpu_core_0 "9.000000000000002".
- 1776704 cpu_core_0 "9.000000000000002".
- 1776772 cpu_core_0 "9.000000000000002".
- 1776851 cpu_core_0 "9.000000000000002".
- 1777132 cpu_core_0 "9.000000000000002".
- 1777147 cpu_core_0 "9.000000000000002".
- 1777156 cpu_core_0 "9.000000000000002".
- 1777190 cpu_core_0 "9.000000000000002".
- 1777252 cpu_core_0 "9.000000000000002".
- 1777368 cpu_core_0 "9.000000000000002".
- 1777488 cpu_core_0 "9.000000000000002".
- 1777553 cpu_core_0 "9.000000000000002".
- 1777646 cpu_core_0 "9.000000000000002".
- 1777683 cpu_core_0 "9.000000000000002".
- 1777732 cpu_core_0 "9.000000000000002".
- 1777853 cpu_core_0 "9.000000000000002".
- 1777952 cpu_core_0 "9.000000000000002".
- 1778082 cpu_core_0 "9.000000000000002".
- 1778181 cpu_core_0 "9.000000000000002".
- 1778300 cpu_core_0 "9.000000000000002".
- 1778444 cpu_core_0 "9.000000000000002".
- 1778749 cpu_core_0 "9.000000000000002".
- 1778937 cpu_core_0 "9.000000000000002".
- 1779108 cpu_core_0 "9.000000000000002".
- 1779228 cpu_core_0 "9.000000000000002".
- 1779306 cpu_core_0 "9.000000000000002".
- 1779315 cpu_core_0 "9.000000000000002".
- 1779660 cpu_core_0 "9.000000000000002".
- 1779896 cpu_core_0 "9.000000000000002".
- 1780053 cpu_core_0 "9.000000000000002".
- 1780121 cpu_core_0 "9.000000000000002".
- 1780217 cpu_core_0 "9.000000000000002".
- 1780272 cpu_core_0 "9.000000000000002".
- 1780286 cpu_core_0 "9.000000000000002".
- 1780357 cpu_core_0 "9.000000000000002".
- 1780369 cpu_core_0 "9.000000000000002".
- 1780396 cpu_core_0 "9.000000000000002".
- 1780514 cpu_core_0 "9.000000000000002".
- 1780611 cpu_core_0 "9.000000000000002".
- 1780651 cpu_core_0 "9.000000000000002".
- 1780715 cpu_core_0 "9.000000000000002".
- 1780718 cpu_core_0 "9.000000000000002".
- 1780721 cpu_core_0 "9.000000000000002".
- 1780796 cpu_core_0 "9.000000000000002".
- 1780802 cpu_core_0 "9.000000000000002".
- 1780930 cpu_core_0 "9.000000000000002".
- 1780969 cpu_core_0 "9.000000000000002".
- 1781033 cpu_core_0 "9.000000000000002".
- 1781073 cpu_core_0 "9.000000000000002".
- 1781188 cpu_core_0 "9.000000000000002".
- 1781202 cpu_core_0 "9.000000000000002".
- 1781290 cpu_core_0 "9.000000000000002".
- 1781333 cpu_core_0 "9.000000000000002".
- 1781354 cpu_core_0 "9.000000000000002".
- 1781538 cpu_core_0 "9.000000000000002".
- 1781572 cpu_core_0 "9.000000000000002".
- 1781582 cpu_core_0 "9.000000000000002".
- 1781667 cpu_core_0 "9.000000000000002".
- 1781769 cpu_core_0 "9.000000000000002".
- 1781849 cpu_core_0 "9.000000000000002".
- 1781855 cpu_core_0 "9.000000000000002".
- 1781908 cpu_core_0 "9.000000000000002".
- 1781963 cpu_core_0 "9.000000000000002".
- 1782005 cpu_core_0 "9.000000000000002".
- 1782028 cpu_core_0 "9.000000000000002".
- 1782250 cpu_core_0 "9.000000000000002".
- 1782356 cpu_core_0 "9.000000000000002".
- 1782407 cpu_core_0 "9.000000000000002".
- 1782489 cpu_core_0 "9.000000000000002".
- 1782499 cpu_core_0 "9.000000000000002".
- 1782520 cpu_core_0 "9.000000000000002".
- 1782621 cpu_core_0 "9.000000000000002".
- 1782698 cpu_core_0 "9.000000000000002".
- 1782747 cpu_core_0 "9.000000000000002".
- 1782755 cpu_core_0 "9.000000000000002".
- 1783258 cpu_core_0 "9.000000000000002".
- 1783418 cpu_core_0 "9.000000000000002".
- 1783880 cpu_core_0 "9.000000000000002".
- 1783900 cpu_core_0 "9.000000000000002".
- 1784323 cpu_core_0 "9.000000000000002".
- 1784584 cpu_core_0 "9.000000000000002".
- 1784848 cpu_core_0 "9.000000000000002".
- 1784982 cpu_core_0 "9.000000000000002".
- 1785456 cpu_core_0 "9.000000000000002".
- 1785542 cpu_core_0 "9.000000000000002".
- 1785791 cpu_core_0 "9.000000000000002".
- 1785828 cpu_core_0 "9.000000000000002".
- 1785917 cpu_core_0 "9.000000000000002".
- 1785947 cpu_core_0 "9.000000000000002".
- 1785987 cpu_core_0 "9.000000000000002".
- 1786016 cpu_core_0 "9.000000000000002".
- 1786094 cpu_core_0 "9.000000000000002".
- 1786224 cpu_core_0 "9.000000000000002".
- 1786232 cpu_core_0 "9.000000000000002".
- 1786374 cpu_core_0 "9.000000000000002".
- 1786421 cpu_core_0 "9.000000000000002".