Matches in ISWC2014 Benchmark for { ?s ?p 11.76470588235294. }
- 1258654 cpu_core_1 "11.76470588235294".
- 1258976 cpu_core_1 "11.76470588235294".
- 1259627 cpu_core_1 "11.76470588235294".
- 1259641 cpu_core_1 "11.76470588235294".
- 1260312 cpu_core_1 "11.76470588235294".
- 1260451 cpu_core_1 "11.76470588235294".
- 1261425 cpu_core_1 "11.76470588235294".
- 1261947 cpu_core_1 "11.76470588235294".
- 1263260 cpu_core_1 "11.76470588235294".
- 1266443 cpu_core_1 "11.76470588235294".
- 1267051 cpu_core_1 "11.76470588235294".
- 1267294 cpu_core_1 "11.76470588235294".
- 1267753 cpu_core_1 "11.76470588235294".
- 1268038 cpu_core_1 "11.76470588235294".
- 1269085 cpu_core_1 "11.76470588235294".
- 1269239 cpu_core_1 "11.76470588235294".
- 1269413 cpu_core_1 "11.76470588235294".
- 1273451 cpu_core_1 "11.76470588235294".
- 1274097 cpu_core_1 "11.76470588235294".
- 1274535 cpu_core_1 "11.76470588235294".
- 1275744 cpu_core_1 "11.76470588235294".
- 1275944 cpu_core_1 "11.76470588235294".
- 1278383 cpu_core_1 "11.76470588235294".
- 1278923 cpu_core_1 "11.76470588235294".
- 1279744 cpu_core_1 "11.76470588235294".
- 1279926 cpu_core_1 "11.76470588235294".
- 1280596 cpu_core_1 "11.76470588235294".
- 1281533 cpu_core_1 "11.76470588235294".
- 1282049 cpu_core_1 "11.76470588235294".
- 1284089 cpu_core_1 "11.76470588235294".
- 1285046 cpu_core_1 "11.76470588235294".
- 1285341 cpu_core_1 "11.76470588235294".
- 1288200 cpu_core_1 "11.76470588235294".
- 1290750 cpu_core_1 "11.76470588235294".
- 1290994 cpu_core_1 "11.76470588235294".
- 1293872 cpu_core_1 "11.76470588235294".
- 1296042 cpu_core_1 "11.76470588235294".
- 1297998 cpu_core_1 "11.76470588235294".
- 1299746 cpu_core_1 "11.76470588235294".
- 1300624 cpu_core_1 "11.76470588235294".
- 1301361 cpu_core_1 "11.76470588235294".
- 1302548 cpu_core_1 "11.76470588235294".
- 1303970 cpu_core_1 "11.76470588235294".
- 1304448 cpu_core_1 "11.76470588235294".
- 1306108 cpu_core_1 "11.76470588235294".
- 1306506 cpu_core_1 "11.76470588235294".
- 1307324 cpu_core_1 "11.76470588235294".
- 1308250 cpu_core_1 "11.76470588235294".
- 1308551 cpu_core_1 "11.76470588235294".
- 1308745 cpu_core_1 "11.76470588235294".
- 1309362 cpu_core_1 "11.76470588235294".
- 1313847 cpu_core_1 "11.76470588235294".
- 1318267 cpu_core_1 "11.76470588235294".
- 1318639 cpu_core_1 "11.76470588235294".
- 1319417 cpu_core_1 "11.76470588235294".
- 1322424 cpu_core_1 "11.76470588235294".
- 1322583 cpu_core_1 "11.76470588235294".
- 1325407 cpu_core_1 "11.76470588235294".
- 1326690 cpu_core_1 "11.76470588235294".
- 1329455 cpu_core_1 "11.76470588235294".
- 1329624 cpu_core_1 "11.76470588235294".
- 1330428 cpu_core_1 "11.76470588235294".
- 1332349 cpu_core_1 "11.76470588235294".
- 1332473 cpu_core_1 "11.76470588235294".
- 1334201 cpu_core_1 "11.76470588235294".
- 1336895 cpu_core_1 "11.76470588235294".
- 1338939 cpu_core_1 "11.76470588235294".
- 1339889 cpu_core_1 "11.76470588235294".
- 1339961 cpu_core_1 "11.76470588235294".
- 1341154 cpu_core_1 "11.76470588235294".
- 1341674 cpu_core_1 "11.76470588235294".
- 1342685 cpu_core_1 "11.76470588235294".
- 1343249 cpu_core_1 "11.76470588235294".
- 1345336 cpu_core_1 "11.76470588235294".
- 1348695 cpu_core_1 "11.76470588235294".
- 1349230 cpu_core_1 "11.76470588235294".
- 1350829 cpu_core_1 "11.76470588235294".
- 1352200 cpu_core_1 "11.76470588235294".
- 1352536 cpu_core_1 "11.76470588235294".
- 1353873 cpu_core_1 "11.76470588235294".
- 1354892 cpu_core_1 "11.76470588235294".
- 1354954 cpu_core_1 "11.76470588235294".
- 1355084 cpu_core_1 "11.76470588235294".
- 1356696 cpu_core_1 "11.76470588235294".
- 1358085 cpu_core_1 "11.76470588235294".
- 1358213 cpu_core_1 "11.76470588235294".
- 1358483 cpu_core_1 "11.76470588235294".
- 1359125 cpu_core_1 "11.76470588235294".
- 1361543 cpu_core_1 "11.76470588235294".
- 1361602 cpu_core_1 "11.76470588235294".
- 1365471 cpu_core_1 "11.76470588235294".
- 1368405 cpu_core_1 "11.76470588235294".
- 1369555 cpu_core_1 "11.76470588235294".
- 1371615 cpu_core_1 "11.76470588235294".
- 1372319 cpu_core_1 "11.76470588235294".
- 1372811 cpu_core_1 "11.76470588235294".
- 1374509 cpu_core_1 "11.76470588235294".
- 1377405 cpu_core_1 "11.76470588235294".
- 1377658 cpu_core_1 "11.76470588235294".
- 1378012 cpu_core_1 "11.76470588235294".