Matches in ISWC2014 Benchmark for { ?s ?p 13.861386138613863. }
- 1792532 cpu_core_0 "13.861386138613863".
- 1792585 cpu_core_0 "13.861386138613863".
- 1792668 cpu_core_0 "13.861386138613863".
- 1792743 cpu_core_0 "13.861386138613863".
- 1792889 cpu_core_0 "13.861386138613863".
- 1792941 cpu_core_0 "13.861386138613863".
- 1792958 cpu_core_0 "13.861386138613863".
- 1793011 cpu_core_0 "13.861386138613863".
- 1793036 cpu_core_0 "13.861386138613863".
- 1793103 cpu_core_0 "13.861386138613863".
- 1793183 cpu_core_0 "13.861386138613863".
- 1793600 cpu_core_0 "13.861386138613863".
- 1793617 cpu_core_0 "13.861386138613863".
- 1793635 cpu_core_0 "13.861386138613863".
- 1793807 cpu_core_0 "13.861386138613863".
- 1793811 cpu_core_0 "13.861386138613863".
- 1793827 cpu_core_0 "13.861386138613863".
- 1793905 cpu_core_0 "13.861386138613863".
- 1794038 cpu_core_0 "13.861386138613863".
- 1794086 cpu_core_0 "13.861386138613863".
- 1794094 cpu_core_0 "13.861386138613863".
- 1794151 cpu_core_0 "13.861386138613863".
- 1794267 cpu_core_0 "13.861386138613863".
- 1794277 cpu_core_0 "13.861386138613863".
- 1794352 cpu_core_0 "13.861386138613863".
- 1794750 cpu_core_0 "13.861386138613863".
- 1794785 cpu_core_0 "13.861386138613863".
- 1795077 cpu_core_0 "13.861386138613863".
- 1795400 cpu_core_0 "13.861386138613863".
- 1795884 cpu_core_0 "13.861386138613863".
- 1796104 cpu_core_0 "13.861386138613863".
- 1797141 cpu_core_0 "13.861386138613863".
- 1797278 cpu_core_0 "13.861386138613863".
- 1797300 cpu_core_0 "13.861386138613863".
- 1797594 cpu_core_0 "13.861386138613863".
- 1798063 cpu_core_0 "13.861386138613863".
- 1798235 cpu_core_0 "13.861386138613863".
- 1798255 cpu_core_0 "13.861386138613863".
- 1798257 cpu_core_0 "13.861386138613863".
- 1798269 cpu_core_0 "13.861386138613863".
- 1798349 cpu_core_0 "13.861386138613863".
- 1798484 cpu_core_0 "13.861386138613863".
- 1798557 cpu_core_0 "13.861386138613863".
- 1798564 cpu_core_0 "13.861386138613863".
- 1798868 cpu_core_0 "13.861386138613863".
- 1798946 cpu_core_0 "13.861386138613863".
- 1798982 cpu_core_0 "13.861386138613863".
- 1799050 cpu_core_0 "13.861386138613863".
- 1799119 cpu_core_0 "13.861386138613863".
- 1799148 cpu_core_0 "13.861386138613863".
- 1799285 cpu_core_0 "13.861386138613863".
- 1799305 cpu_core_0 "13.861386138613863".
- 1799336 cpu_core_0 "13.861386138613863".
- 1799448 cpu_core_0 "13.861386138613863".
- 1799478 cpu_core_0 "13.861386138613863".
- 1799594 cpu_core_0 "13.861386138613863".
- 1799630 cpu_core_0 "13.861386138613863".
- 1799939 cpu_core_0 "13.861386138613863".
- 1799998 cpu_core_0 "13.861386138613863".
- 1800017 cpu_core_0 "13.861386138613863".
- 1800125 cpu_core_0 "13.861386138613863".
- 1800246 cpu_core_0 "13.861386138613863".
- 1800473 cpu_core_0 "13.861386138613863".
- 1800593 cpu_core_0 "13.861386138613863".
- 1800654 cpu_core_0 "13.861386138613863".
- 1801254 cpu_core_0 "13.861386138613863".
- 1801360 cpu_core_0 "13.861386138613863".
- 1801507 cpu_core_0 "13.861386138613863".
- 1801961 cpu_core_0 "13.861386138613863".
- 1802226 cpu_core_0 "13.861386138613863".
- 1802792 cpu_core_0 "13.861386138613863".
- 1802992 cpu_core_0 "13.861386138613863".
- 1803806 cpu_core_0 "13.861386138613863".
- 1803926 cpu_core_0 "13.861386138613863".
- 1804047 cpu_core_0 "13.861386138613863".
- 1804048 cpu_core_0 "13.861386138613863".
- 1804121 cpu_core_0 "13.861386138613863".
- 1804127 cpu_core_0 "13.861386138613863".
- 1804291 cpu_core_0 "13.861386138613863".
- 1804310 cpu_core_0 "13.861386138613863".
- 1804674 cpu_core_0 "13.861386138613863".
- 1804682 cpu_core_0 "13.861386138613863".
- 1804790 cpu_core_0 "13.861386138613863".
- 1804795 cpu_core_0 "13.861386138613863".
- 1804951 cpu_core_0 "13.861386138613863".
- 1805012 cpu_core_0 "13.861386138613863".
- 1805095 cpu_core_0 "13.861386138613863".
- 1805172 cpu_core_0 "13.861386138613863".
- 1805219 cpu_core_0 "13.861386138613863".
- 1805542 cpu_core_0 "13.861386138613863".
- 1805563 cpu_core_0 "13.861386138613863".
- 1806211 cpu_core_0 "13.861386138613863".
- 1807545 cpu_core_0 "13.861386138613863".
- 1807845 cpu_core_0 "13.861386138613863".
- 1808138 cpu_core_0 "13.861386138613863".
- 1808295 cpu_core_0 "13.861386138613863".
- 1808585 cpu_core_0 "13.861386138613863".
- 1809982 cpu_core_0 "13.861386138613863".
- 1810534 cpu_core_0 "13.861386138613863".
- 1810680 cpu_core_0 "13.861386138613863".