Matches in ISWC2014 Benchmark for { ?s ?p 7.8431372549019605. }
- 1389538 cpu_core_0 "7.8431372549019605".
- 1389559 cpu_core_0 "7.8431372549019605".
- 1390971 cpu_core_0 "7.8431372549019605".
- 1394236 cpu_core_0 "7.8431372549019605".
- 1397276 cpu_core_0 "7.8431372549019605".
- 1398731 cpu_core_0 "7.8431372549019605".
- 1399300 cpu_core_0 "7.8431372549019605".
- 1400416 cpu_core_0 "7.8431372549019605".
- 1400866 cpu_core_0 "7.8431372549019605".
- 1401583 cpu_core_0 "7.8431372549019605".
- 1402201 cpu_core_0 "7.8431372549019605".
- 1407245 cpu_core_0 "7.8431372549019605".
- 1407563 cpu_core_0 "7.8431372549019605".
- 1407901 cpu_core_0 "7.8431372549019605".
- 1408181 cpu_core_0 "7.8431372549019605".
- 1409441 cpu_core_0 "7.8431372549019605".
- 1409462 cpu_core_0 "7.8431372549019605".
- 1409993 cpu_core_0 "7.8431372549019605".
- 1410720 cpu_core_0 "7.8431372549019605".
- 1411556 cpu_core_0 "7.8431372549019605".
- 1411585 cpu_core_0 "7.8431372549019605".
- 1412046 cpu_core_0 "7.8431372549019605".
- 1412080 cpu_core_0 "7.8431372549019605".
- 1412601 cpu_core_0 "7.8431372549019605".
- 1412787 cpu_core_0 "7.8431372549019605".
- 1414104 cpu_core_0 "7.8431372549019605".
- 1415013 cpu_core_0 "7.8431372549019605".
- 1416248 cpu_core_0 "7.8431372549019605".
- 1418003 cpu_core_0 "7.8431372549019605".
- 1418149 cpu_core_0 "7.8431372549019605".
- 1418607 cpu_core_0 "7.8431372549019605".
- 1421034 cpu_core_0 "7.8431372549019605".
- 1422215 cpu_core_0 "7.8431372549019605".
- 1423338 cpu_core_0 "7.8431372549019605".
- 1423638 cpu_core_0 "7.8431372549019605".
- 1424088 cpu_core_0 "7.8431372549019605".
- 1427009 cpu_core_0 "7.8431372549019605".
- 1432378 cpu_core_0 "7.8431372549019605".
- 1432717 cpu_core_0 "7.8431372549019605".
- 1434299 cpu_core_0 "7.8431372549019605".
- 1434998 cpu_core_0 "7.8431372549019605".
- 1435572 cpu_core_0 "7.8431372549019605".
- 1436966 cpu_core_0 "7.8431372549019605".
- 1437300 cpu_core_0 "7.8431372549019605".
- 1438556 cpu_core_0 "7.8431372549019605".
- 1439537 cpu_core_0 "7.8431372549019605".
- 1440079 cpu_core_0 "7.8431372549019605".
- 1440403 cpu_core_0 "7.8431372549019605".
- 1440822 cpu_core_0 "7.8431372549019605".
- 1441204 cpu_core_0 "7.8431372549019605".
- 1441954 cpu_core_0 "7.8431372549019605".
- 1442172 cpu_core_0 "7.8431372549019605".
- 1442809 cpu_core_0 "7.8431372549019605".
- 1443767 cpu_core_0 "7.8431372549019605".
- 1443876 cpu_core_0 "7.8431372549019605".
- 1444786 cpu_core_0 "7.8431372549019605".
- 1445602 cpu_core_0 "7.8431372549019605".
- 1446437 cpu_core_0 "7.8431372549019605".
- 1447689 cpu_core_0 "7.8431372549019605".
- 1448620 cpu_core_0 "7.8431372549019605".
- 1449174 cpu_core_0 "7.8431372549019605".
- 1449726 cpu_core_0 "7.8431372549019605".
- 1450722 cpu_core_0 "7.8431372549019605".
- 1450796 cpu_core_0 "7.8431372549019605".
- 1457448 cpu_core_0 "7.8431372549019605".
- 1457533 cpu_core_0 "7.8431372549019605".
- 1458174 cpu_core_0 "7.8431372549019605".
- 1458909 cpu_core_0 "7.8431372549019605".
- 1459162 cpu_core_0 "7.8431372549019605".
- 1460482 cpu_core_0 "7.8431372549019605".
- 1462223 cpu_core_0 "7.8431372549019605".
- 1463492 cpu_core_0 "7.8431372549019605".
- 1463942 cpu_core_0 "7.8431372549019605".
- 1467859 cpu_core_0 "7.8431372549019605".
- 1469865 cpu_core_0 "7.8431372549019605".
- 1470594 cpu_core_0 "7.8431372549019605".
- 1471898 cpu_core_0 "7.8431372549019605".
- 1472580 cpu_core_0 "7.8431372549019605".
- 1472585 cpu_core_0 "7.8431372549019605".
- 1473090 cpu_core_0 "7.8431372549019605".
- 1473101 cpu_core_0 "7.8431372549019605".
- 1474881 cpu_core_0 "7.8431372549019605".
- 1476338 cpu_core_0 "7.8431372549019605".
- 1479019 cpu_core_0 "7.8431372549019605".
- 1479597 cpu_core_0 "7.8431372549019605".
- 1481124 cpu_core_0 "7.8431372549019605".
- 1481493 cpu_core_0 "7.8431372549019605".
- 1481529 cpu_core_0 "7.8431372549019605".
- 1483691 cpu_core_0 "7.8431372549019605".
- 1483696 cpu_core_0 "7.8431372549019605".
- 1484017 cpu_core_0 "7.8431372549019605".
- 1484184 cpu_core_0 "7.8431372549019605".
- 1484459 cpu_core_0 "7.8431372549019605".
- 1485754 cpu_core_0 "7.8431372549019605".
- 1486215 cpu_core_0 "7.8431372549019605".
- 1487182 cpu_core_0 "7.8431372549019605".
- 1487306 cpu_core_0 "7.8431372549019605".
- 1487972 cpu_core_0 "7.8431372549019605".
- 1488611 cpu_core_0 "7.8431372549019605".
- 1492373 cpu_core_0 "7.8431372549019605".