Matches in ISWC2014 Benchmark for { ?s ?p 13.86138613861386. }
- 1783904 cpu_core_0 "13.86138613861386".
- 1783986 cpu_core_0 "13.86138613861386".
- 1784092 cpu_core_0 "13.86138613861386".
- 1784442 cpu_core_0 "13.86138613861386".
- 1784499 cpu_core_0 "13.86138613861386".
- 1784563 cpu_core_0 "13.86138613861386".
- 1785145 cpu_core_0 "13.86138613861386".
- 1785244 cpu_core_0 "13.86138613861386".
- 1785554 cpu_core_0 "13.86138613861386".
- 1785614 cpu_core_0 "13.86138613861386".
- 1785692 cpu_core_0 "13.86138613861386".
- 1785792 cpu_core_0 "13.86138613861386".
- 1785905 cpu_core_0 "13.86138613861386".
- 1785973 cpu_core_0 "13.86138613861386".
- 1786022 cpu_core_0 "13.86138613861386".
- 1786101 cpu_core_0 "13.86138613861386".
- 1786436 cpu_core_0 "13.86138613861386".
- 1786466 cpu_core_0 "13.86138613861386".
- 1786538 cpu_core_0 "13.86138613861386".
- 1786679 cpu_core_0 "13.86138613861386".
- 1786864 cpu_core_0 "13.86138613861386".
- 1786873 cpu_core_0 "13.86138613861386".
- 1786897 cpu_core_0 "13.86138613861386".
- 1787026 cpu_core_0 "13.86138613861386".
- 1787144 cpu_core_0 "13.86138613861386".
- 1787225 cpu_core_0 "13.86138613861386".
- 1787295 cpu_core_0 "13.86138613861386".
- 1787494 cpu_core_0 "13.86138613861386".
- 1787633 cpu_core_0 "13.86138613861386".
- 1787710 cpu_core_0 "13.86138613861386".
- 1787718 cpu_core_0 "13.86138613861386".
- 1788102 cpu_core_0 "13.86138613861386".
- 1788109 cpu_core_0 "13.86138613861386".
- 1788115 cpu_core_0 "13.86138613861386".
- 1788137 cpu_core_0 "13.86138613861386".
- 1788223 cpu_core_0 "13.86138613861386".
- 1788264 cpu_core_0 "13.86138613861386".
- 1788271 cpu_core_0 "13.86138613861386".
- 1788273 cpu_core_0 "13.86138613861386".
- 1788386 cpu_core_0 "13.86138613861386".
- 1788436 cpu_core_0 "13.86138613861386".
- 1788524 cpu_core_0 "13.86138613861386".
- 1788641 cpu_core_0 "13.86138613861386".
- 1788680 cpu_core_0 "13.86138613861386".
- 1788740 cpu_core_0 "13.86138613861386".
- 1788746 cpu_core_0 "13.86138613861386".
- 1788855 cpu_core_0 "13.86138613861386".
- 1788914 cpu_core_0 "13.86138613861386".
- 1788963 cpu_core_0 "13.86138613861386".
- 1789091 cpu_core_0 "13.86138613861386".
- 1789124 cpu_core_0 "13.86138613861386".
- 1789225 cpu_core_0 "13.86138613861386".
- 1789232 cpu_core_0 "13.86138613861386".
- 1789360 cpu_core_0 "13.86138613861386".
- 1789401 cpu_core_0 "13.86138613861386".
- 1789441 cpu_core_0 "13.86138613861386".
- 1789478 cpu_core_0 "13.86138613861386".
- 1789571 cpu_core_0 "13.86138613861386".
- 1789601 cpu_core_0 "13.86138613861386".
- 1789674 cpu_core_0 "13.86138613861386".
- 1789788 cpu_core_0 "13.86138613861386".
- 1789896 cpu_core_0 "13.86138613861386".
- 1789929 cpu_core_0 "13.86138613861386".
- 1789942 cpu_core_0 "13.86138613861386".
- 1789999 cpu_core_0 "13.86138613861386".
- 1790029 cpu_core_0 "13.86138613861386".
- 1790171 cpu_core_0 "13.86138613861386".
- 1790182 cpu_core_0 "13.86138613861386".
- 1790193 cpu_core_0 "13.86138613861386".
- 1790207 cpu_core_0 "13.86138613861386".
- 1790258 cpu_core_0 "13.86138613861386".
- 1790318 cpu_core_0 "13.86138613861386".
- 1790523 cpu_core_0 "13.86138613861386".
- 1790571 cpu_core_0 "13.86138613861386".
- 1790615 cpu_core_0 "13.86138613861386".
- 1790773 cpu_core_0 "13.86138613861386".
- 1790975 cpu_core_0 "13.86138613861386".
- 1791056 cpu_core_0 "13.86138613861386".
- 1791071 cpu_core_0 "13.86138613861386".
- 1791426 cpu_core_0 "13.86138613861386".
- 1791461 cpu_core_0 "13.86138613861386".
- 1791506 cpu_core_0 "13.86138613861386".
- 1791511 cpu_core_0 "13.86138613861386".
- 1791546 cpu_core_0 "13.86138613861386".
- 1791580 cpu_core_0 "13.86138613861386".
- 1792056 cpu_core_0 "13.86138613861386".
- 1792155 cpu_core_0 "13.86138613861386".
- 1792702 cpu_core_0 "13.86138613861386".
- 1792836 cpu_core_0 "13.86138613861386".
- 1792847 cpu_core_0 "13.86138613861386".
- 1792868 cpu_core_0 "13.86138613861386".
- 1792875 cpu_core_0 "13.86138613861386".
- 1793113 cpu_core_0 "13.86138613861386".
- 1793278 cpu_core_0 "13.86138613861386".
- 1793320 cpu_core_0 "13.86138613861386".
- 1793461 cpu_core_0 "13.86138613861386".
- 1793700 cpu_core_0 "13.86138613861386".
- 1793856 cpu_core_0 "13.86138613861386".
- 1794116 cpu_core_0 "13.86138613861386".
- 1794149 cpu_core_0 "13.86138613861386".