Matches in ISWC2014 Benchmark for { ?s ?p 13.26530612244898. }
- 1768473 cpu_core_0 "13.26530612244898".
- 1768741 cpu_core_0 "13.26530612244898".
- 1768766 cpu_core_0 "13.26530612244898".
- 1769010 cpu_core_0 "13.26530612244898".
- 1769030 cpu_core_0 "13.26530612244898".
- 1769474 cpu_core_0 "13.26530612244898".
- 1769819 cpu_core_0 "13.26530612244898".
- 1769944 cpu_core_0 "13.26530612244898".
- 1770082 cpu_core_0 "13.26530612244898".
- 1770392 cpu_core_0 "13.26530612244898".
- 1770575 cpu_core_0 "13.26530612244898".
- 1770963 cpu_core_0 "13.26530612244898".
- 1771084 cpu_core_0 "13.26530612244898".
- 1771126 cpu_core_0 "13.26530612244898".
- 1771159 cpu_core_0 "13.26530612244898".
- 1771615 cpu_core_0 "13.26530612244898".
- 1771657 cpu_core_0 "13.26530612244898".
- 1771873 cpu_core_0 "13.26530612244898".
- 1771910 cpu_core_0 "13.26530612244898".
- 1771924 cpu_core_0 "13.26530612244898".
- 1772139 cpu_core_0 "13.26530612244898".
- 1772340 cpu_core_0 "13.26530612244898".
- 1772372 cpu_core_0 "13.26530612244898".
- 1772471 cpu_core_0 "13.26530612244898".
- 1772589 cpu_core_0 "13.26530612244898".
- 1772972 cpu_core_0 "13.26530612244898".
- 1773590 cpu_core_0 "13.26530612244898".
- 1774485 cpu_core_0 "13.26530612244898".
- 1774822 cpu_core_0 "13.26530612244898".
- 1774966 cpu_core_0 "13.26530612244898".
- 1775050 cpu_core_0 "13.26530612244898".
- 1775072 cpu_core_0 "13.26530612244898".
- 1775236 cpu_core_0 "13.26530612244898".
- 1775341 cpu_core_0 "13.26530612244898".
- 1775626 cpu_core_0 "13.26530612244898".
- 1776152 cpu_core_0 "13.26530612244898".
- 1776167 cpu_core_0 "13.26530612244898".
- 1776591 cpu_core_0 "13.26530612244898".
- 1776737 cpu_core_0 "13.26530612244898".
- 1776830 cpu_core_0 "13.26530612244898".
- 1777158 cpu_core_0 "13.26530612244898".
- 1777235 cpu_core_0 "13.26530612244898".
- 1777270 cpu_core_0 "13.26530612244898".
- 1777483 cpu_core_0 "13.26530612244898".
- 1777520 cpu_core_0 "13.26530612244898".
- 1777561 cpu_core_0 "13.26530612244898".
- 1777576 cpu_core_0 "13.26530612244898".
- 1777598 cpu_core_0 "13.26530612244898".
- 1777621 cpu_core_0 "13.26530612244898".
- 1777693 cpu_core_0 "13.26530612244898".
- 1777852 cpu_core_0 "13.26530612244898".
- 1777928 cpu_core_0 "13.26530612244898".
- 1778058 cpu_core_0 "13.26530612244898".
- 1778413 cpu_core_0 "13.26530612244898".
- 1778607 cpu_core_0 "13.26530612244898".
- 1779321 cpu_core_0 "13.26530612244898".
- 1779325 cpu_core_0 "13.26530612244898".
- 1779725 cpu_core_0 "13.26530612244898".
- 1780561 cpu_core_0 "13.26530612244898".
- 1780996 cpu_core_0 "13.26530612244898".
- 1781041 cpu_core_0 "13.26530612244898".
- 1781416 cpu_core_0 "13.26530612244898".
- 1781463 cpu_core_0 "13.26530612244898".
- 1781553 cpu_core_0 "13.26530612244898".
- 1781641 cpu_core_0 "13.26530612244898".
- 1781766 cpu_core_0 "13.26530612244898".
- 1781920 cpu_core_0 "13.26530612244898".
- 1782027 cpu_core_0 "13.26530612244898".
- 1782040 cpu_core_0 "13.26530612244898".
- 1782316 cpu_core_0 "13.26530612244898".
- 1782323 cpu_core_0 "13.26530612244898".
- 1782384 cpu_core_0 "13.26530612244898".
- 1782412 cpu_core_0 "13.26530612244898".
- 1782435 cpu_core_0 "13.26530612244898".
- 1782921 cpu_core_0 "13.26530612244898".
- 1783034 cpu_core_0 "13.26530612244898".
- 1783764 cpu_core_0 "13.26530612244898".
- 1785455 cpu_core_0 "13.26530612244898".
- 1785473 cpu_core_0 "13.26530612244898".
- 1785509 cpu_core_0 "13.26530612244898".
- 1785564 cpu_core_0 "13.26530612244898".
- 1785735 cpu_core_0 "13.26530612244898".
- 1785970 cpu_core_0 "13.26530612244898".
- 1786023 cpu_core_0 "13.26530612244898".
- 1786141 cpu_core_0 "13.26530612244898".
- 1786270 cpu_core_0 "13.26530612244898".
- 1786282 cpu_core_0 "13.26530612244898".
- 1786351 cpu_core_0 "13.26530612244898".
- 1786502 cpu_core_0 "13.26530612244898".
- 1786553 cpu_core_0 "13.26530612244898".
- 1787071 cpu_core_0 "13.26530612244898".
- 1787145 cpu_core_0 "13.26530612244898".
- 1787309 cpu_core_0 "13.26530612244898".
- 1787646 cpu_core_0 "13.26530612244898".
- 1787661 cpu_core_0 "13.26530612244898".
- 1787888 cpu_core_0 "13.26530612244898".
- 1787986 cpu_core_0 "13.26530612244898".
- 1788145 cpu_core_0 "13.26530612244898".
- 1788443 cpu_core_0 "13.26530612244898".
- 1788603 cpu_core_0 "13.26530612244898".