Matches in ISWC2014 Benchmark for { ?s ?p 13.861386138613863. }
- 1391469 cpu_core_0 "13.861386138613863".
- 1391711 cpu_core_0 "13.861386138613863".
- 1392267 cpu_core_0 "13.861386138613863".
- 1393372 cpu_core_0 "13.861386138613863".
- 1394326 cpu_core_0 "13.861386138613863".
- 1395150 cpu_core_0 "13.861386138613863".
- 1397063 cpu_core_0 "13.861386138613863".
- 1397173 cpu_core_0 "13.861386138613863".
- 1397779 cpu_core_0 "13.861386138613863".
- 1399206 cpu_core_0 "13.861386138613863".
- 1399552 cpu_core_0 "13.861386138613863".
- 1399719 cpu_core_0 "13.861386138613863".
- 1400550 cpu_core_0 "13.861386138613863".
- 1400749 cpu_core_0 "13.861386138613863".
- 1401279 cpu_core_0 "13.861386138613863".
- 1401345 cpu_core_0 "13.861386138613863".
- 1401897 cpu_core_0 "13.861386138613863".
- 1402535 cpu_core_0 "13.861386138613863".
- 1403089 cpu_core_0 "13.861386138613863".
- 1403331 cpu_core_0 "13.861386138613863".
- 1403762 cpu_core_0 "13.861386138613863".
- 1404644 cpu_core_0 "13.861386138613863".
- 1404973 cpu_core_0 "13.861386138613863".
- 1405008 cpu_core_0 "13.861386138613863".
- 1405326 cpu_core_0 "13.861386138613863".
- 1406727 cpu_core_0 "13.861386138613863".
- 1406831 cpu_core_0 "13.861386138613863".
- 1406844 cpu_core_0 "13.861386138613863".
- 1407490 cpu_core_0 "13.861386138613863".
- 1407495 cpu_core_0 "13.861386138613863".
- 1408050 cpu_core_0 "13.861386138613863".
- 1408209 cpu_core_0 "13.861386138613863".
- 1408214 cpu_core_0 "13.861386138613863".
- 1408253 cpu_core_0 "13.861386138613863".
- 1408363 cpu_core_0 "13.861386138613863".
- 1408602 cpu_core_0 "13.861386138613863".
- 1408697 cpu_core_0 "13.861386138613863".
- 1408807 cpu_core_0 "13.861386138613863".
- 1409246 cpu_core_0 "13.861386138613863".
- 1409271 cpu_core_0 "13.861386138613863".
- 1409456 cpu_core_0 "13.861386138613863".
- 1409554 cpu_core_0 "13.861386138613863".
- 1409791 cpu_core_0 "13.861386138613863".
- 1409883 cpu_core_0 "13.861386138613863".
- 1409994 cpu_core_0 "13.861386138613863".
- 1410339 cpu_core_0 "13.861386138613863".
- 1410374 cpu_core_0 "13.861386138613863".
- 1410389 cpu_core_0 "13.861386138613863".
- 1410464 cpu_core_0 "13.861386138613863".
- 1410516 cpu_core_0 "13.861386138613863".
- 1410712 cpu_core_0 "13.861386138613863".
- 1410887 cpu_core_0 "13.861386138613863".
- 1410997 cpu_core_0 "13.861386138613863".
- 1411246 cpu_core_0 "13.861386138613863".
- 1411259 cpu_core_0 "13.861386138613863".
- 1411490 cpu_core_0 "13.861386138613863".
- 1411546 cpu_core_0 "13.861386138613863".
- 1411577 cpu_core_0 "13.861386138613863".
- 1411595 cpu_core_0 "13.861386138613863".
- 1411686 cpu_core_0 "13.861386138613863".
- 1411918 cpu_core_0 "13.861386138613863".
- 1412272 cpu_core_0 "13.861386138613863".
- 1412422 cpu_core_0 "13.861386138613863".
- 1412627 cpu_core_0 "13.861386138613863".
- 1412875 cpu_core_0 "13.861386138613863".
- 1412903 cpu_core_0 "13.861386138613863".
- 1413124 cpu_core_0 "13.861386138613863".
- 1413998 cpu_core_0 "13.861386138613863".
- 1414534 cpu_core_0 "13.861386138613863".
- 1414646 cpu_core_0 "13.861386138613863".
- 1414789 cpu_core_0 "13.861386138613863".
- 1415004 cpu_core_0 "13.861386138613863".
- 1416059 cpu_core_0 "13.861386138613863".
- 1416180 cpu_core_0 "13.861386138613863".
- 1416425 cpu_core_0 "13.861386138613863".
- 1416568 cpu_core_0 "13.861386138613863".
- 1416580 cpu_core_0 "13.861386138613863".
- 1416597 cpu_core_0 "13.861386138613863".
- 1416787 cpu_core_0 "13.861386138613863".
- 1416795 cpu_core_0 "13.861386138613863".
- 1416911 cpu_core_0 "13.861386138613863".
- 1417421 cpu_core_0 "13.861386138613863".
- 1417924 cpu_core_0 "13.861386138613863".
- 1418329 cpu_core_0 "13.861386138613863".
- 1418541 cpu_core_0 "13.861386138613863".
- 1419361 cpu_core_0 "13.861386138613863".
- 1419575 cpu_core_0 "13.861386138613863".
- 1420314 cpu_core_0 "13.861386138613863".
- 1420390 cpu_core_0 "13.861386138613863".
- 1422504 cpu_core_0 "13.861386138613863".
- 14228 cpu_core_0 "13.861386138613863".
- 1422985 cpu_core_0 "13.861386138613863".
- 1426663 cpu_core_0 "13.861386138613863".
- 1426925 cpu_core_0 "13.861386138613863".
- 1427940 cpu_core_0 "13.861386138613863".
- 1428810 cpu_core_0 "13.861386138613863".
- 1429209 cpu_core_0 "13.861386138613863".
- 1429246 cpu_core_0 "13.861386138613863".
- 1429478 cpu_core_0 "13.861386138613863".
- 1429811 cpu_core_0 "13.861386138613863".