Matches in ISWC2014 Benchmark for { ?s ?p 13.402061855670103. }
- 1011399 cpu_core_0 "13.402061855670103".
- 1011888 cpu_core_0 "13.402061855670103".
- 1012024 cpu_core_0 "13.402061855670103".
- 1012554 cpu_core_0 "13.402061855670103".
- 1012773 cpu_core_0 "13.402061855670103".
- 1012904 cpu_core_0 "13.402061855670103".
- 1013532 cpu_core_0 "13.402061855670103".
- 1021107 cpu_core_0 "13.402061855670103".
- 1064078 cpu_core_0 "13.402061855670103".
- 1067698 cpu_core_0 "13.402061855670103".
- 1095895 cpu_core_0 "13.402061855670103".
- 1102059 cpu_core_0 "13.402061855670103".
- 1112410 cpu_core_0 "13.402061855670103".
- 1128873 cpu_core_0 "13.402061855670103".
- 1146003 cpu_core_0 "13.402061855670103".
- 1150969 cpu_core_0 "13.402061855670103".
- 1166413 cpu_core_0 "13.402061855670103".
- 1187083 cpu_core_0 "13.402061855670103".
- 1192409 cpu_core_0 "13.402061855670103".
- 1213518 cpu_core_0 "13.402061855670103".
- 1213869 cpu_core_0 "13.402061855670103".
- 1213945 cpu_core_0 "13.402061855670103".
- 1214113 cpu_core_0 "13.402061855670103".
- 1214171 cpu_core_0 "13.402061855670103".
- 1214433 cpu_core_0 "13.402061855670103".
- 1214845 cpu_core_0 "13.402061855670103".
- 1215315 cpu_core_0 "13.402061855670103".
- 1216877 cpu_core_0 "13.402061855670103".
- 1217155 cpu_core_0 "13.402061855670103".
- 1217324 cpu_core_0 "13.402061855670103".
- 1217447 cpu_core_0 "13.402061855670103".
- 1217480 cpu_core_0 "13.402061855670103".
- 1217501 cpu_core_0 "13.402061855670103".
- 1218108 cpu_core_0 "13.402061855670103".
- 1218632 cpu_core_0 "13.402061855670103".
- 1218944 cpu_core_0 "13.402061855670103".
- 1218955 cpu_core_0 "13.402061855670103".
- 1219312 cpu_core_0 "13.402061855670103".
- 1219358 cpu_core_0 "13.402061855670103".
- 1236581 cpu_core_0 "13.402061855670103".
- 1237095 cpu_core_0 "13.402061855670103".
- 1237120 cpu_core_0 "13.402061855670103".
- 1265724 cpu_core_0 "13.402061855670103".
- 1299394 cpu_core_0 "13.402061855670103".
- 1300042 cpu_core_0 "13.402061855670103".
- 1302365 cpu_core_0 "13.402061855670103".
- 1306055 cpu_core_0 "13.402061855670103".
- 1335655 cpu_core_0 "13.402061855670103".
- 1392299 cpu_core_0 "13.402061855670103".
- 1402533 cpu_core_0 "13.402061855670103".
- 1408000 cpu_core_0 "13.402061855670103".
- 1408044 cpu_core_0 "13.402061855670103".
- 1408065 cpu_core_0 "13.402061855670103".
- 1408086 cpu_core_0 "13.402061855670103".
- 1408296 cpu_core_0 "13.402061855670103".
- 1408661 cpu_core_0 "13.402061855670103".
- 1408681 cpu_core_0 "13.402061855670103".
- 1408771 cpu_core_0 "13.402061855670103".
- 1409025 cpu_core_0 "13.402061855670103".
- 1409202 cpu_core_0 "13.402061855670103".
- 1409387 cpu_core_0 "13.402061855670103".
- 1409423 cpu_core_0 "13.402061855670103".
- 1409443 cpu_core_0 "13.402061855670103".
- 1409623 cpu_core_0 "13.402061855670103".
- 1409697 cpu_core_0 "13.402061855670103".
- 1409732 cpu_core_0 "13.402061855670103".
- 1409889 cpu_core_0 "13.402061855670103".
- 1409927 cpu_core_0 "13.402061855670103".
- 1409989 cpu_core_0 "13.402061855670103".
- 1409995 cpu_core_0 "13.402061855670103".
- 1410038 cpu_core_0 "13.402061855670103".
- 1410092 cpu_core_0 "13.402061855670103".
- 1410099 cpu_core_0 "13.402061855670103".
- 1410226 cpu_core_0 "13.402061855670103".
- 1410235 cpu_core_0 "13.402061855670103".
- 1410271 cpu_core_0 "13.402061855670103".
- 1410288 cpu_core_0 "13.402061855670103".
- 1410417 cpu_core_0 "13.402061855670103".
- 1410572 cpu_core_0 "13.402061855670103".
- 1410603 cpu_core_0 "13.402061855670103".
- 1410708 cpu_core_0 "13.402061855670103".
- 1411003 cpu_core_0 "13.402061855670103".
- 1411060 cpu_core_0 "13.402061855670103".
- 1411171 cpu_core_0 "13.402061855670103".
- 1411302 cpu_core_0 "13.402061855670103".
- 1411330 cpu_core_0 "13.402061855670103".
- 1411367 cpu_core_0 "13.402061855670103".
- 1411434 cpu_core_0 "13.402061855670103".
- 1411541 cpu_core_0 "13.402061855670103".
- 1411690 cpu_core_0 "13.402061855670103".
- 1411692 cpu_core_0 "13.402061855670103".
- 1411871 cpu_core_0 "13.402061855670103".
- 1412022 cpu_core_0 "13.402061855670103".
- 1412377 cpu_core_0 "13.402061855670103".
- 1412609 cpu_core_0 "13.402061855670103".
- 1412820 cpu_core_0 "13.402061855670103".
- 1412850 cpu_core_0 "13.402061855670103".
- 1412859 cpu_core_0 "13.402061855670103".
- 1413289 cpu_core_0 "13.402061855670103".
- 1413723 cpu_core_0 "13.402061855670103".