Matches in ISWC2014 Benchmark for { ?s ?p 5.88235294117647. }
- 1471138 cpu_core_0 "5.88235294117647".
- 1472547 cpu_core_0 "5.88235294117647".
- 1474448 cpu_core_0 "5.88235294117647".
- 147549 cpu_core_0 "5.88235294117647".
- 1475590 cpu_core_0 "5.88235294117647".
- 1476085 cpu_core_0 "5.88235294117647".
- 1476686 cpu_core_0 "5.88235294117647".
- 1477799 cpu_core_0 "5.88235294117647".
- 1478244 cpu_core_0 "5.88235294117647".
- 1478507 cpu_core_0 "5.88235294117647".
- 1480036 cpu_core_0 "5.88235294117647".
- 1480174 cpu_core_0 "5.88235294117647".
- 1481238 cpu_core_0 "5.88235294117647".
- 1481401 cpu_core_0 "5.88235294117647".
- 148222 cpu_core_0 "5.88235294117647".
- 1483539 cpu_core_0 "5.88235294117647".
- 1483908 cpu_core_0 "5.88235294117647".
- 1484054 cpu_core_0 "5.88235294117647".
- 1484139 cpu_core_0 "5.88235294117647".
- 1485497 cpu_core_0 "5.88235294117647".
- 1486274 cpu_core_0 "5.88235294117647".
- 1489151 cpu_core_0 "5.88235294117647".
- 1490151 cpu_core_0 "5.88235294117647".
- 1492666 cpu_core_0 "5.88235294117647".
- 1493625 cpu_core_0 "5.88235294117647".
- 1493808 cpu_core_0 "5.88235294117647".
- 1494181 cpu_core_0 "5.88235294117647".
- 1495781 cpu_core_0 "5.88235294117647".
- 1496743 cpu_core_0 "5.88235294117647".
- 1497461 cpu_core_0 "5.88235294117647".
- 1498425 cpu_core_0 "5.88235294117647".
- 1498832 cpu_core_0 "5.88235294117647".
- 1498950 cpu_core_0 "5.88235294117647".
- 1499072 cpu_core_0 "5.88235294117647".
- 1499943 cpu_core_0 "5.88235294117647".
- 1500465 cpu_core_0 "5.88235294117647".
- 1502765 cpu_core_0 "5.88235294117647".
- 1505585 cpu_core_0 "5.88235294117647".
- 1505906 cpu_core_0 "5.88235294117647".
- 1506022 cpu_core_0 "5.88235294117647".
- 1507032 cpu_core_0 "5.88235294117647".
- 1507092 cpu_core_0 "5.88235294117647".
- 1509128 cpu_core_0 "5.88235294117647".
- 1509976 cpu_core_0 "5.88235294117647".
- 1510319 cpu_core_0 "5.88235294117647".
- 1510481 cpu_core_0 "5.88235294117647".
- 1511327 cpu_core_0 "5.88235294117647".
- 1514404 cpu_core_0 "5.88235294117647".
- 1514740 cpu_core_0 "5.88235294117647".
- 1515205 cpu_core_0 "5.88235294117647".
- 1518786 cpu_core_0 "5.88235294117647".
- 1519468 cpu_core_0 "5.88235294117647".
- 1520381 cpu_core_0 "5.88235294117647".
- 1520506 cpu_core_0 "5.88235294117647".
- 1520787 cpu_core_0 "5.88235294117647".
- 1522763 cpu_core_0 "5.88235294117647".
- 1525145 cpu_core_0 "5.88235294117647".
- 1526311 cpu_core_0 "5.88235294117647".
- 1526617 cpu_core_0 "5.88235294117647".
- 1526928 cpu_core_0 "5.88235294117647".
- 1528731 cpu_core_0 "5.88235294117647".
- 1529347 cpu_core_0 "5.88235294117647".
- 1529635 cpu_core_0 "5.88235294117647".
- 1530071 cpu_core_0 "5.88235294117647".
- 1531518 cpu_core_0 "5.88235294117647".
- 1532753 cpu_core_0 "5.88235294117647".
- 1532844 cpu_core_0 "5.88235294117647".
- 1532975 cpu_core_0 "5.88235294117647".
- 1534054 cpu_core_0 "5.88235294117647".
- 1535332 cpu_core_0 "5.88235294117647".
- 1538326 cpu_core_0 "5.88235294117647".
- 1538395 cpu_core_0 "5.88235294117647".
- 1538789 cpu_core_0 "5.88235294117647".
- 1539030 cpu_core_0 "5.88235294117647".
- 1539737 cpu_core_0 "5.88235294117647".
- 1540146 cpu_core_0 "5.88235294117647".
- 1540628 cpu_core_0 "5.88235294117647".
- 1542495 cpu_core_0 "5.88235294117647".
- 1544413 cpu_core_0 "5.88235294117647".
- 1544957 cpu_core_0 "5.88235294117647".
- 1545326 cpu_core_0 "5.88235294117647".
- 1545527 cpu_core_0 "5.88235294117647".
- 1546351 cpu_core_0 "5.88235294117647".
- 1548491 cpu_core_0 "5.88235294117647".
- 1548692 cpu_core_0 "5.88235294117647".
- 1548861 cpu_core_0 "5.88235294117647".
- 1548939 cpu_core_0 "5.88235294117647".
- 1550379 cpu_core_0 "5.88235294117647".
- 1550805 cpu_core_0 "5.88235294117647".
- 1551060 cpu_core_0 "5.88235294117647".
- 1551062 cpu_core_0 "5.88235294117647".
- 1551585 cpu_core_0 "5.88235294117647".
- 1553358 cpu_core_0 "5.88235294117647".
- 1553541 cpu_core_0 "5.88235294117647".
- 1555930 cpu_core_0 "5.88235294117647".
- 1556417 cpu_core_0 "5.88235294117647".
- 1558589 cpu_core_0 "5.88235294117647".
- 1559293 cpu_core_0 "5.88235294117647".
- 1559978 cpu_core_0 "5.88235294117647".
- 1560750 cpu_core_0 "5.88235294117647".