Matches in ISWC2014 Benchmark for { ?s ?p 12.745098039215685. }
- 1365004 cpu_core_1 "12.745098039215685".
- 1372241 cpu_core_1 "12.745098039215685".
- 1374369 cpu_core_1 "12.745098039215685".
- 1374765 cpu_core_1 "12.745098039215685".
- 1375005 cpu_core_1 "12.745098039215685".
- 1376637 cpu_core_1 "12.745098039215685".
- 1376853 cpu_core_1 "12.745098039215685".
- 1379628 cpu_core_1 "12.745098039215685".
- 1380274 cpu_core_1 "12.745098039215685".
- 1381382 cpu_core_1 "12.745098039215685".
- 1382784 cpu_core_1 "12.745098039215685".
- 1383169 cpu_core_1 "12.745098039215685".
- 1383531 cpu_core_1 "12.745098039215685".
- 1385011 cpu_core_1 "12.745098039215685".
- 1391621 cpu_core_1 "12.745098039215685".
- 1391838 cpu_core_1 "12.745098039215685".
- 1394205 cpu_core_1 "12.745098039215685".
- 1395635 cpu_core_1 "12.745098039215685".
- 1396441 cpu_core_1 "12.745098039215685".
- 1397227 cpu_core_1 "12.745098039215685".
- 1399584 cpu_core_1 "12.745098039215685".
- 1406506 cpu_core_1 "12.745098039215685".
- 1415278 cpu_core_1 "12.745098039215685".
- 1416170 cpu_core_1 "12.745098039215685".
- 1416302 cpu_core_1 "12.745098039215685".
- 1416564 cpu_core_1 "12.745098039215685".
- 1417924 cpu_core_1 "12.745098039215685".
- 1418653 cpu_core_1 "12.745098039215685".
- 1420447 cpu_core_1 "12.745098039215685".
- 1421034 cpu_core_1 "12.745098039215685".
- 1421247 cpu_core_1 "12.745098039215685".
- 1421435 cpu_core_1 "12.745098039215685".
- 1422654 cpu_core_1 "12.745098039215685".
- 1422681 cpu_core_1 "12.745098039215685".
- 1427521 cpu_core_1 "12.745098039215685".
- 1427940 cpu_core_1 "12.745098039215685".
- 1432163 cpu_core_1 "12.745098039215685".
- 1432742 cpu_core_1 "12.745098039215685".
- 1435699 cpu_core_1 "12.745098039215685".
- 1435830 cpu_core_1 "12.745098039215685".
- 1439892 cpu_core_1 "12.745098039215685".
- 1440111 cpu_core_1 "12.745098039215685".
- 1443048 cpu_core_1 "12.745098039215685".
- 1443189 cpu_core_1 "12.745098039215685".
- 1443453 cpu_core_1 "12.745098039215685".
- 1444267 cpu_core_1 "12.745098039215685".
- 1444612 cpu_core_1 "12.745098039215685".
- 1444782 cpu_core_1 "12.745098039215685".
- 1446379 cpu_core_1 "12.745098039215685".
- 1447969 cpu_core_1 "12.745098039215685".
- 1448093 cpu_core_1 "12.745098039215685".
- 1451286 cpu_core_1 "12.745098039215685".
- 1451957 cpu_core_1 "12.745098039215685".
- 1453434 cpu_core_1 "12.745098039215685".
- 1456273 cpu_core_1 "12.745098039215685".
- 1457872 cpu_core_1 "12.745098039215685".
- 1461851 cpu_core_1 "12.745098039215685".
- 1463225 cpu_core_1 "12.745098039215685".
- 1463453 cpu_core_1 "12.745098039215685".
- 1465833 cpu_core_1 "12.745098039215685".
- 1467032 cpu_core_1 "12.745098039215685".
- 1467265 cpu_core_1 "12.745098039215685".
- 1468642 cpu_core_1 "12.745098039215685".
- 1469946 cpu_core_1 "12.745098039215685".
- 1475874 cpu_core_1 "12.745098039215685".
- 1477865 cpu_core_1 "12.745098039215685".
- 1478240 cpu_core_1 "12.745098039215685".
- 1483665 cpu_core_1 "12.745098039215685".
- 1485283 cpu_core_1 "12.745098039215685".
- 1488114 cpu_core_1 "12.745098039215685".
- 1490421 cpu_core_1 "12.745098039215685".
- 1490704 cpu_core_1 "12.745098039215685".
- 1496845 cpu_core_1 "12.745098039215685".
- 1498872 cpu_core_1 "12.745098039215685".
- 1499476 cpu_core_1 "12.745098039215685".
- 1500955 cpu_core_1 "12.745098039215685".
- 1502975 cpu_core_1 "12.745098039215685".
- 1505203 cpu_core_1 "12.745098039215685".
- 1507769 cpu_core_1 "12.745098039215685".
- 1508900 cpu_core_1 "12.745098039215685".
- 1512973 cpu_core_1 "12.745098039215685".
- 1512998 cpu_core_1 "12.745098039215685".
- 1513563 cpu_core_1 "12.745098039215685".
- 1516159 cpu_core_1 "12.745098039215685".
- 1520315 cpu_core_1 "12.745098039215685".
- 1520941 cpu_core_1 "12.745098039215685".
- 1522702 cpu_core_1 "12.745098039215685".
- 1523004 cpu_core_1 "12.745098039215685".
- 1523211 cpu_core_1 "12.745098039215685".
- 1525439 cpu_core_1 "12.745098039215685".
- 1526852 cpu_core_1 "12.745098039215685".
- 1529188 cpu_core_1 "12.745098039215685".
- 1529571 cpu_core_1 "12.745098039215685".
- 1530763 cpu_core_1 "12.745098039215685".
- 1533674 cpu_core_1 "12.745098039215685".
- 1536496 cpu_core_1 "12.745098039215685".
- 1536613 cpu_core_1 "12.745098039215685".
- 1537492 cpu_core_1 "12.745098039215685".
- 1541281 cpu_core_1 "12.745098039215685".
- 1541781 cpu_core_1 "12.745098039215685".