Matches in ISWC2014 Benchmark for { ?s ?p 13.725490196078432. }
- 1366744 cpu_core_0 "13.725490196078432".
- 1366795 cpu_core_0 "13.725490196078432".
- 1367636 cpu_core_0 "13.725490196078432".
- 1367882 cpu_core_0 "13.725490196078432".
- 1368324 cpu_core_0 "13.725490196078432".
- 1368877 cpu_core_0 "13.725490196078432".
- 1369017 cpu_core_0 "13.725490196078432".
- 1369966 cpu_core_0 "13.725490196078432".
- 1371418 cpu_core_0 "13.725490196078432".
- 1371616 cpu_core_0 "13.725490196078432".
- 1372593 cpu_core_0 "13.725490196078432".
- 1372741 cpu_core_0 "13.725490196078432".
- 1372814 cpu_core_0 "13.725490196078432".
- 1373297 cpu_core_0 "13.725490196078432".
- 1373447 cpu_core_0 "13.725490196078432".
- 1373528 cpu_core_0 "13.725490196078432".
- 1375802 cpu_core_0 "13.725490196078432".
- 1376166 cpu_core_0 "13.725490196078432".
- 1376963 cpu_core_0 "13.725490196078432".
- 1377301 cpu_core_0 "13.725490196078432".
- 1377395 cpu_core_0 "13.725490196078432".
- 1377596 cpu_core_0 "13.725490196078432".
- 1378489 cpu_core_0 "13.725490196078432".
- 1378867 cpu_core_0 "13.725490196078432".
- 1379905 cpu_core_0 "13.725490196078432".
- 1379991 cpu_core_0 "13.725490196078432".
- 1380461 cpu_core_0 "13.725490196078432".
- 1380916 cpu_core_0 "13.725490196078432".
- 1382243 cpu_core_0 "13.725490196078432".
- 1382562 cpu_core_0 "13.725490196078432".
- 1382651 cpu_core_0 "13.725490196078432".
- 1383723 cpu_core_0 "13.725490196078432".
- 1383762 cpu_core_0 "13.725490196078432".
- 1384535 cpu_core_0 "13.725490196078432".
- 1385978 cpu_core_0 "13.725490196078432".
- 1386419 cpu_core_0 "13.725490196078432".
- 1386786 cpu_core_0 "13.725490196078432".
- 1387088 cpu_core_0 "13.725490196078432".
- 1387090 cpu_core_0 "13.725490196078432".
- 1388377 cpu_core_0 "13.725490196078432".
- 1388591 cpu_core_0 "13.725490196078432".
- 1388781 cpu_core_0 "13.725490196078432".
- 1389938 cpu_core_0 "13.725490196078432".
- 1390258 cpu_core_0 "13.725490196078432".
- 1391232 cpu_core_0 "13.725490196078432".
- 1391384 cpu_core_0 "13.725490196078432".
- 1391886 cpu_core_0 "13.725490196078432".
- 1392043 cpu_core_0 "13.725490196078432".
- 1393522 cpu_core_0 "13.725490196078432".
- 1394812 cpu_core_0 "13.725490196078432".
- 1394857 cpu_core_0 "13.725490196078432".
- 1395537 cpu_core_0 "13.725490196078432".
- 1395661 cpu_core_0 "13.725490196078432".
- 1396582 cpu_core_0 "13.725490196078432".
- 1397020 cpu_core_0 "13.725490196078432".
- 1397027 cpu_core_0 "13.725490196078432".
- 1397578 cpu_core_0 "13.725490196078432".
- 1398303 cpu_core_0 "13.725490196078432".
- 1398828 cpu_core_0 "13.725490196078432".
- 1399035 cpu_core_0 "13.725490196078432".
- 1399238 cpu_core_0 "13.725490196078432".
- 1399325 cpu_core_0 "13.725490196078432".
- 1399492 cpu_core_0 "13.725490196078432".
- 1407819 cpu_core_0 "13.725490196078432".
- 1407966 cpu_core_0 "13.725490196078432".
- 1408420 cpu_core_0 "13.725490196078432".
- 1408696 cpu_core_0 "13.725490196078432".
- 1409447 cpu_core_0 "13.725490196078432".
- 1409528 cpu_core_0 "13.725490196078432".
- 1409568 cpu_core_0 "13.725490196078432".
- 1410617 cpu_core_0 "13.725490196078432".
- 1410631 cpu_core_0 "13.725490196078432".
- 1410756 cpu_core_0 "13.725490196078432".
- 1411065 cpu_core_0 "13.725490196078432".
- 1411175 cpu_core_0 "13.725490196078432".
- 1411471 cpu_core_0 "13.725490196078432".
- 1412936 cpu_core_0 "13.725490196078432".
- 1413030 cpu_core_0 "13.725490196078432".
- 1413624 cpu_core_0 "13.725490196078432".
- 1414609 cpu_core_0 "13.725490196078432".
- 1414718 cpu_core_0 "13.725490196078432".
- 1415891 cpu_core_0 "13.725490196078432".
- 1417841 cpu_core_0 "13.725490196078432".
- 1420697 cpu_core_0 "13.725490196078432".
- 1421018 cpu_core_0 "13.725490196078432".
- 1421403 cpu_core_0 "13.725490196078432".
- 1424752 cpu_core_0 "13.725490196078432".
- 1424892 cpu_core_0 "13.725490196078432".
- 1430594 cpu_core_0 "13.725490196078432".
- 1432207 cpu_core_0 "13.725490196078432".
- 1432782 cpu_core_0 "13.725490196078432".
- 1433076 cpu_core_0 "13.725490196078432".
- 1434260 cpu_core_0 "13.725490196078432".
- 1434468 cpu_core_0 "13.725490196078432".
- 1434703 cpu_core_0 "13.725490196078432".
- 1434939 cpu_core_0 "13.725490196078432".
- 1435228 cpu_core_0 "13.725490196078432".
- 1435565 cpu_core_0 "13.725490196078432".
- 1436201 cpu_core_0 "13.725490196078432".
- 1437723 cpu_core_0 "13.725490196078432".