Matches in ISWC2014 Benchmark for { ?s ?p 11.76470588235294. }
- 1123526 cpu_core_3 "11.76470588235294".
- 1130192 cpu_core_3 "11.76470588235294".
- 1132962 cpu_core_3 "11.76470588235294".
- 1137849 cpu_core_3 "11.76470588235294".
- 1143746 cpu_core_3 "11.76470588235294".
- 1148855 cpu_core_3 "11.76470588235294".
- 1159335 cpu_core_3 "11.76470588235294".
- 1160508 cpu_core_3 "11.76470588235294".
- 1161574 cpu_core_3 "11.76470588235294".
- 1163411 cpu_core_3 "11.76470588235294".
- 1163959 cpu_core_3 "11.76470588235294".
- 1164997 cpu_core_3 "11.76470588235294".
- 1168973 cpu_core_3 "11.76470588235294".
- 1170621 cpu_core_3 "11.76470588235294".
- 1171692 cpu_core_3 "11.76470588235294".
- 1173506 cpu_core_3 "11.76470588235294".
- 1174999 cpu_core_3 "11.76470588235294".
- 1180326 cpu_core_3 "11.76470588235294".
- 1180840 cpu_core_3 "11.76470588235294".
- 1185625 cpu_core_3 "11.76470588235294".
- 1189915 cpu_core_3 "11.76470588235294".
- 1189965 cpu_core_3 "11.76470588235294".
- 1192039 cpu_core_3 "11.76470588235294".
- 1192498 cpu_core_3 "11.76470588235294".
- 1194019 cpu_core_3 "11.76470588235294".
- 1195994 cpu_core_3 "11.76470588235294".
- 1199992 cpu_core_3 "11.76470588235294".
- 1203757 cpu_core_3 "11.76470588235294".
- 1204690 cpu_core_3 "11.76470588235294".
- 1207445 cpu_core_3 "11.76470588235294".
- 1207734 cpu_core_3 "11.76470588235294".
- 1209208 cpu_core_3 "11.76470588235294".
- 1209383 cpu_core_3 "11.76470588235294".
- 1223785 cpu_core_3 "11.76470588235294".
- 1227438 cpu_core_3 "11.76470588235294".
- 1230564 cpu_core_3 "11.76470588235294".
- 1234073 cpu_core_3 "11.76470588235294".
- 1239245 cpu_core_3 "11.76470588235294".
- 1241095 cpu_core_3 "11.76470588235294".
- 1243835 cpu_core_3 "11.76470588235294".
- 1244130 cpu_core_3 "11.76470588235294".
- 1246204 cpu_core_3 "11.76470588235294".
- 1250214 cpu_core_3 "11.76470588235294".
- 1254759 cpu_core_3 "11.76470588235294".
- 1256566 cpu_core_3 "11.76470588235294".
- 1256673 cpu_core_3 "11.76470588235294".
- 1256882 cpu_core_3 "11.76470588235294".
- 1256909 cpu_core_3 "11.76470588235294".
- 1263691 cpu_core_3 "11.76470588235294".
- 1264110 cpu_core_3 "11.76470588235294".
- 1265601 cpu_core_3 "11.76470588235294".
- 1267416 cpu_core_3 "11.76470588235294".
- 1267434 cpu_core_3 "11.76470588235294".
- 1267899 cpu_core_3 "11.76470588235294".
- 1268555 cpu_core_3 "11.76470588235294".
- 1277425 cpu_core_3 "11.76470588235294".
- 1281546 cpu_core_3 "11.76470588235294".
- 1282085 cpu_core_3 "11.76470588235294".
- 1283053 cpu_core_3 "11.76470588235294".
- 1290786 cpu_core_3 "11.76470588235294".
- 1294251 cpu_core_3 "11.76470588235294".
- 1298297 cpu_core_3 "11.76470588235294".
- 1299141 cpu_core_3 "11.76470588235294".
- 1300529 cpu_core_3 "11.76470588235294".
- 1301854 cpu_core_3 "11.76470588235294".
- 1303761 cpu_core_3 "11.76470588235294".
- 1306247 cpu_core_3 "11.76470588235294".
- 1306820 cpu_core_3 "11.76470588235294".
- 1308582 cpu_core_3 "11.76470588235294".
- 1310111 cpu_core_3 "11.76470588235294".
- 1318545 cpu_core_3 "11.76470588235294".
- 1326182 cpu_core_3 "11.76470588235294".
- 1340204 cpu_core_3 "11.76470588235294".
- 1348172 cpu_core_3 "11.76470588235294".
- 1349521 cpu_core_3 "11.76470588235294".
- 1352491 cpu_core_3 "11.76470588235294".
- 1353292 cpu_core_3 "11.76470588235294".
- 1354829 cpu_core_3 "11.76470588235294".
- 1355675 cpu_core_3 "11.76470588235294".
- 1356065 cpu_core_3 "11.76470588235294".
- 1358891 cpu_core_3 "11.76470588235294".
- 1359219 cpu_core_3 "11.76470588235294".
- 1359312 cpu_core_3 "11.76470588235294".
- 1362333 cpu_core_3 "11.76470588235294".
- 1363386 cpu_core_3 "11.76470588235294".
- 1364335 cpu_core_3 "11.76470588235294".
- 1366226 cpu_core_3 "11.76470588235294".
- 1369472 cpu_core_3 "11.76470588235294".
- 1371255 cpu_core_3 "11.76470588235294".
- 1373672 cpu_core_3 "11.76470588235294".
- 1375257 cpu_core_3 "11.76470588235294".
- 1375325 cpu_core_3 "11.76470588235294".
- 1375510 cpu_core_3 "11.76470588235294".
- 1377335 cpu_core_3 "11.76470588235294".
- 1378017 cpu_core_3 "11.76470588235294".
- 1378157 cpu_core_3 "11.76470588235294".
- 1380072 cpu_core_3 "11.76470588235294".
- 1380778 cpu_core_3 "11.76470588235294".
- 1383163 cpu_core_3 "11.76470588235294".
- 1386074 cpu_core_3 "11.76470588235294".