Matches in ISWC2014 Benchmark for { ?s ?p 12.371134020618557. }
- 1012070 cpu_core_0 "12.371134020618557".
- 1023228 cpu_core_0 "12.371134020618557".
- 1037176 cpu_core_0 "12.371134020618557".
- 1044433 cpu_core_0 "12.371134020618557".
- 1057431 cpu_core_0 "12.371134020618557".
- 1075875 cpu_core_0 "12.371134020618557".
- 1088429 cpu_core_0 "12.371134020618557".
- 1092318 cpu_core_0 "12.371134020618557".
- 1095072 cpu_core_0 "12.371134020618557".
- 1095970 cpu_core_0 "12.371134020618557".
- 1109460 cpu_core_0 "12.371134020618557".
- 1110593 cpu_core_0 "12.371134020618557".
- 1132234 cpu_core_0 "12.371134020618557".
- 1145657 cpu_core_0 "12.371134020618557".
- 1186894 cpu_core_0 "12.371134020618557".
- 1190704 cpu_core_0 "12.371134020618557".
- 1213662 cpu_core_0 "12.371134020618557".
- 1214491 cpu_core_0 "12.371134020618557".
- 1214536 cpu_core_0 "12.371134020618557".
- 1214801 cpu_core_0 "12.371134020618557".
- 1215089 cpu_core_0 "12.371134020618557".
- 1215288 cpu_core_0 "12.371134020618557".
- 1216516 cpu_core_0 "12.371134020618557".
- 1217482 cpu_core_0 "12.371134020618557".
- 1218087 cpu_core_0 "12.371134020618557".
- 1218390 cpu_core_0 "12.371134020618557".
- 1218963 cpu_core_0 "12.371134020618557".
- 1219103 cpu_core_0 "12.371134020618557".
- 1219162 cpu_core_0 "12.371134020618557".
- 1219253 cpu_core_0 "12.371134020618557".
- 1237048 cpu_core_0 "12.371134020618557".
- 1243192 cpu_core_0 "12.371134020618557".
- 1251471 cpu_core_0 "12.371134020618557".
- 1260702 cpu_core_0 "12.371134020618557".
- 1268946 cpu_core_0 "12.371134020618557".
- 1288702 cpu_core_0 "12.371134020618557".
- 1298079 cpu_core_0 "12.371134020618557".
- 1298166 cpu_core_0 "12.371134020618557".
- 1312273 cpu_core_0 "12.371134020618557".
- 1314317 cpu_core_0 "12.371134020618557".
- 1326018 cpu_core_0 "12.371134020618557".
- 1328616 cpu_core_0 "12.371134020618557".
- 1334865 cpu_core_0 "12.371134020618557".
- 1335221 cpu_core_0 "12.371134020618557".
- 1340329 cpu_core_0 "12.371134020618557".
- 1342485 cpu_core_0 "12.371134020618557".
- 1344476 cpu_core_0 "12.371134020618557".
- 1348863 cpu_core_0 "12.371134020618557".
- 1368039 cpu_core_0 "12.371134020618557".
- 1383515 cpu_core_0 "12.371134020618557".
- 1390429 cpu_core_0 "12.371134020618557".
- 1390656 cpu_core_0 "12.371134020618557".
- 1394934 cpu_core_0 "12.371134020618557".
- 1407808 cpu_core_0 "12.371134020618557".
- 1407968 cpu_core_0 "12.371134020618557".
- 1408013 cpu_core_0 "12.371134020618557".
- 1408228 cpu_core_0 "12.371134020618557".
- 1408243 cpu_core_0 "12.371134020618557".
- 1408254 cpu_core_0 "12.371134020618557".
- 1408722 cpu_core_0 "12.371134020618557".
- 1408936 cpu_core_0 "12.371134020618557".
- 1409148 cpu_core_0 "12.371134020618557".
- 1409193 cpu_core_0 "12.371134020618557".
- 1409408 cpu_core_0 "12.371134020618557".
- 1409566 cpu_core_0 "12.371134020618557".
- 1409630 cpu_core_0 "12.371134020618557".
- 1409866 cpu_core_0 "12.371134020618557".
- 1410188 cpu_core_0 "12.371134020618557".
- 1410222 cpu_core_0 "12.371134020618557".
- 1410567 cpu_core_0 "12.371134020618557".
- 1410649 cpu_core_0 "12.371134020618557".
- 1410774 cpu_core_0 "12.371134020618557".
- 1410872 cpu_core_0 "12.371134020618557".
- 1411014 cpu_core_0 "12.371134020618557".
- 1411257 cpu_core_0 "12.371134020618557".
- 1411311 cpu_core_0 "12.371134020618557".
- 1411377 cpu_core_0 "12.371134020618557".
- 1411649 cpu_core_0 "12.371134020618557".
- 1411775 cpu_core_0 "12.371134020618557".
- 1411797 cpu_core_0 "12.371134020618557".
- 1412074 cpu_core_0 "12.371134020618557".
- 1412266 cpu_core_0 "12.371134020618557".
- 1412318 cpu_core_0 "12.371134020618557".
- 1412456 cpu_core_0 "12.371134020618557".
- 1412645 cpu_core_0 "12.371134020618557".
- 1412731 cpu_core_0 "12.371134020618557".
- 1412752 cpu_core_0 "12.371134020618557".
- 1413125 cpu_core_0 "12.371134020618557".
- 1413582 cpu_core_0 "12.371134020618557".
- 1413889 cpu_core_0 "12.371134020618557".
- 1413941 cpu_core_0 "12.371134020618557".
- 1413972 cpu_core_0 "12.371134020618557".
- 1414067 cpu_core_0 "12.371134020618557".
- 1414097 cpu_core_0 "12.371134020618557".
- 1425084 cpu_core_0 "12.371134020618557".
- 1429336 cpu_core_0 "12.371134020618557".
- 1451947 cpu_core_0 "12.371134020618557".
- 1454245 cpu_core_0 "12.371134020618557".
- 1462049 cpu_core_0 "12.371134020618557".
- 1465832 cpu_core_0 "12.371134020618557".