Matches in ISWC2014 Benchmark for { ?s ?p 5.88235294117647. }
- 1450830 cpu_core_1 "5.88235294117647".
- 1451311 cpu_core_1 "5.88235294117647".
- 1453931 cpu_core_1 "5.88235294117647".
- 1454638 cpu_core_1 "5.88235294117647".
- 1455124 cpu_core_1 "5.88235294117647".
- 1456366 cpu_core_1 "5.88235294117647".
- 1456509 cpu_core_1 "5.88235294117647".
- 1457221 cpu_core_1 "5.88235294117647".
- 1458894 cpu_core_1 "5.88235294117647".
- 1461206 cpu_core_1 "5.88235294117647".
- 1461436 cpu_core_1 "5.88235294117647".
- 1462227 cpu_core_1 "5.88235294117647".
- 1463112 cpu_core_1 "5.88235294117647".
- 1464991 cpu_core_1 "5.88235294117647".
- 1465368 cpu_core_1 "5.88235294117647".
- 1472162 cpu_core_1 "5.88235294117647".
- 1473836 cpu_core_1 "5.88235294117647".
- 1476561 cpu_core_1 "5.88235294117647".
- 1478412 cpu_core_1 "5.88235294117647".
- 1479403 cpu_core_1 "5.88235294117647".
- 1479677 cpu_core_1 "5.88235294117647".
- 1479930 cpu_core_1 "5.88235294117647".
- 1480243 cpu_core_1 "5.88235294117647".
- 1482298 cpu_core_1 "5.88235294117647".
- 1484301 cpu_core_1 "5.88235294117647".
- 1484786 cpu_core_1 "5.88235294117647".
- 1486428 cpu_core_1 "5.88235294117647".
- 1486655 cpu_core_1 "5.88235294117647".
- 1487038 cpu_core_1 "5.88235294117647".
- 1489320 cpu_core_1 "5.88235294117647".
- 1490014 cpu_core_1 "5.88235294117647".
- 1491886 cpu_core_1 "5.88235294117647".
- 1492044 cpu_core_1 "5.88235294117647".
- 1493677 cpu_core_1 "5.88235294117647".
- 1494092 cpu_core_1 "5.88235294117647".
- 1497968 cpu_core_1 "5.88235294117647".
- 1498682 cpu_core_1 "5.88235294117647".
- 1503796 cpu_core_1 "5.88235294117647".
- 1504029 cpu_core_1 "5.88235294117647".
- 1504688 cpu_core_1 "5.88235294117647".
- 1506135 cpu_core_1 "5.88235294117647".
- 1506287 cpu_core_1 "5.88235294117647".
- 1506535 cpu_core_1 "5.88235294117647".
- 1506834 cpu_core_1 "5.88235294117647".
- 1509486 cpu_core_1 "5.88235294117647".
- 1509729 cpu_core_1 "5.88235294117647".
- 1511688 cpu_core_1 "5.88235294117647".
- 1517887 cpu_core_1 "5.88235294117647".
- 1518953 cpu_core_1 "5.88235294117647".
- 1520210 cpu_core_1 "5.88235294117647".
- 1520501 cpu_core_1 "5.88235294117647".
- 1520886 cpu_core_1 "5.88235294117647".
- 1523406 cpu_core_1 "5.88235294117647".
- 1524363 cpu_core_1 "5.88235294117647".
- 1524549 cpu_core_1 "5.88235294117647".
- 1524849 cpu_core_1 "5.88235294117647".
- 1527868 cpu_core_1 "5.88235294117647".
- 1527938 cpu_core_1 "5.88235294117647".
- 1528253 cpu_core_1 "5.88235294117647".
- 1529007 cpu_core_1 "5.88235294117647".
- 1529096 cpu_core_1 "5.88235294117647".
- 1530673 cpu_core_1 "5.88235294117647".
- 1530759 cpu_core_1 "5.88235294117647".
- 1536228 cpu_core_1 "5.88235294117647".
- 1536869 cpu_core_1 "5.88235294117647".
- 1538269 cpu_core_1 "5.88235294117647".
- 1539900 cpu_core_1 "5.88235294117647".
- 1540644 cpu_core_1 "5.88235294117647".
- 1541805 cpu_core_1 "5.88235294117647".
- 1542409 cpu_core_1 "5.88235294117647".
- 1544312 cpu_core_1 "5.88235294117647".
- 1544362 cpu_core_1 "5.88235294117647".
- 1545260 cpu_core_1 "5.88235294117647".
- 1545757 cpu_core_1 "5.88235294117647".
- 1546125 cpu_core_1 "5.88235294117647".
- 1546747 cpu_core_1 "5.88235294117647".
- 1547907 cpu_core_1 "5.88235294117647".
- 1548179 cpu_core_1 "5.88235294117647".
- 1549781 cpu_core_1 "5.88235294117647".
- 1550266 cpu_core_1 "5.88235294117647".
- 1553337 cpu_core_1 "5.88235294117647".
- 1555806 cpu_core_1 "5.88235294117647".
- 1556842 cpu_core_1 "5.88235294117647".
- 1558896 cpu_core_1 "5.88235294117647".
- 1562013 cpu_core_1 "5.88235294117647".
- 1562362 cpu_core_1 "5.88235294117647".
- 1562752 cpu_core_1 "5.88235294117647".
- 1563745 cpu_core_1 "5.88235294117647".
- 1570302 cpu_core_1 "5.88235294117647".
- 1571355 cpu_core_1 "5.88235294117647".
- 1571692 cpu_core_1 "5.88235294117647".
- 1572122 cpu_core_1 "5.88235294117647".
- 1574079 cpu_core_1 "5.88235294117647".
- 1574200 cpu_core_1 "5.88235294117647".
- 1574552 cpu_core_1 "5.88235294117647".
- 1574758 cpu_core_1 "5.88235294117647".
- 1577163 cpu_core_1 "5.88235294117647".
- 1577979 cpu_core_1 "5.88235294117647".
- 1578136 cpu_core_1 "5.88235294117647".
- 1578973 cpu_core_1 "5.88235294117647".