Matches in ISWC2014 Benchmark for { ?s ?p 13.86138613861386. }
- 1288286 cpu_core_0 "13.86138613861386".
- 1288327 cpu_core_0 "13.86138613861386".
- 1288467 cpu_core_0 "13.86138613861386".
- 1288508 cpu_core_0 "13.86138613861386".
- 1288528 cpu_core_0 "13.86138613861386".
- 1288689 cpu_core_0 "13.86138613861386".
- 1288753 cpu_core_0 "13.86138613861386".
- 1288837 cpu_core_0 "13.86138613861386".
- 1288861 cpu_core_0 "13.86138613861386".
- 1289287 cpu_core_0 "13.86138613861386".
- 1289934 cpu_core_0 "13.86138613861386".
- 1290015 cpu_core_0 "13.86138613861386".
- 1290386 cpu_core_0 "13.86138613861386".
- 1290659 cpu_core_0 "13.86138613861386".
- 1291145 cpu_core_0 "13.86138613861386".
- 1291382 cpu_core_0 "13.86138613861386".
- 1291433 cpu_core_0 "13.86138613861386".
- 1291492 cpu_core_0 "13.86138613861386".
- 1291587 cpu_core_0 "13.86138613861386".
- 1291861 cpu_core_0 "13.86138613861386".
- 1292003 cpu_core_0 "13.86138613861386".
- 1292021 cpu_core_0 "13.86138613861386".
- 1292029 cpu_core_0 "13.86138613861386".
- 1292337 cpu_core_0 "13.86138613861386".
- 1292452 cpu_core_0 "13.86138613861386".
- 1292558 cpu_core_0 "13.86138613861386".
- 1292592 cpu_core_0 "13.86138613861386".
- 1292790 cpu_core_0 "13.86138613861386".
- 1292841 cpu_core_0 "13.86138613861386".
- 1292852 cpu_core_0 "13.86138613861386".
- 1292866 cpu_core_0 "13.86138613861386".
- 1292871 cpu_core_0 "13.86138613861386".
- 1292919 cpu_core_0 "13.86138613861386".
- 1292978 cpu_core_0 "13.86138613861386".
- 1293045 cpu_core_0 "13.86138613861386".
- 1293073 cpu_core_0 "13.86138613861386".
- 1293100 cpu_core_0 "13.86138613861386".
- 1293319 cpu_core_0 "13.86138613861386".
- 1293330 cpu_core_0 "13.86138613861386".
- 1293406 cpu_core_0 "13.86138613861386".
- 1293533 cpu_core_0 "13.86138613861386".
- 1293544 cpu_core_0 "13.86138613861386".
- 1293686 cpu_core_0 "13.86138613861386".
- 1293694 cpu_core_0 "13.86138613861386".
- 1293697 cpu_core_0 "13.86138613861386".
- 1293801 cpu_core_0 "13.86138613861386".
- 1293836 cpu_core_0 "13.86138613861386".
- 1293945 cpu_core_0 "13.86138613861386".
- 1294075 cpu_core_0 "13.86138613861386".
- 1294104 cpu_core_0 "13.86138613861386".
- 1294167 cpu_core_0 "13.86138613861386".
- 1294280 cpu_core_0 "13.86138613861386".
- 1294478 cpu_core_0 "13.86138613861386".
- 1294673 cpu_core_0 "13.86138613861386".
- 1294697 cpu_core_0 "13.86138613861386".
- 1294745 cpu_core_0 "13.86138613861386".
- 1294765 cpu_core_0 "13.86138613861386".
- 1294840 cpu_core_0 "13.86138613861386".
- 1294885 cpu_core_0 "13.86138613861386".
- 1295077 cpu_core_0 "13.86138613861386".
- 1295312 cpu_core_0 "13.86138613861386".
- 1295367 cpu_core_0 "13.86138613861386".
- 1295389 cpu_core_0 "13.86138613861386".
- 1295724 cpu_core_0 "13.86138613861386".
- 1295801 cpu_core_0 "13.86138613861386".
- 1295873 cpu_core_0 "13.86138613861386".
- 1296035 cpu_core_0 "13.86138613861386".
- 1296194 cpu_core_0 "13.86138613861386".
- 1296352 cpu_core_0 "13.86138613861386".
- 1296728 cpu_core_0 "13.86138613861386".
- 1297409 cpu_core_0 "13.86138613861386".
- 1297548 cpu_core_0 "13.86138613861386".
- 1297622 cpu_core_0 "13.86138613861386".
- 1297913 cpu_core_0 "13.86138613861386".
- 1297996 cpu_core_0 "13.86138613861386".
- 1298279 cpu_core_0 "13.86138613861386".
- 1298323 cpu_core_0 "13.86138613861386".
- 1298424 cpu_core_0 "13.86138613861386".
- 1298557 cpu_core_0 "13.86138613861386".
- 1298824 cpu_core_0 "13.86138613861386".
- 1298834 cpu_core_0 "13.86138613861386".
- 1298964 cpu_core_0 "13.86138613861386".
- 1298982 cpu_core_0 "13.86138613861386".
- 1299060 cpu_core_0 "13.86138613861386".
- 1299152 cpu_core_0 "13.86138613861386".
- 1299497 cpu_core_0 "13.86138613861386".
- 1299542 cpu_core_0 "13.86138613861386".
- 1299576 cpu_core_0 "13.86138613861386".
- 1299670 cpu_core_0 "13.86138613861386".
- 1299741 cpu_core_0 "13.86138613861386".
- 1299774 cpu_core_0 "13.86138613861386".
- 1299860 cpu_core_0 "13.86138613861386".
- 1299862 cpu_core_0 "13.86138613861386".
- 1299964 cpu_core_0 "13.86138613861386".
- 1300005 cpu_core_0 "13.86138613861386".
- 1300039 cpu_core_0 "13.86138613861386".
- 1300047 cpu_core_0 "13.86138613861386".
- 1300207 cpu_core_0 "13.86138613861386".
- 1300283 cpu_core_0 "13.86138613861386".
- 1300343 cpu_core_0 "13.86138613861386".