Matches in ISWC2014 Benchmark for { ?s ?p 5.88235294117647. }
- 1562059 cpu_core_0 "5.88235294117647".
- 1562072 cpu_core_0 "5.88235294117647".
- 1562320 cpu_core_0 "5.88235294117647".
- 1562827 cpu_core_0 "5.88235294117647".
- 1564280 cpu_core_0 "5.88235294117647".
- 1565203 cpu_core_0 "5.88235294117647".
- 1565587 cpu_core_0 "5.88235294117647".
- 1566528 cpu_core_0 "5.88235294117647".
- 1566964 cpu_core_0 "5.88235294117647".
- 1567789 cpu_core_0 "5.88235294117647".
- 1567817 cpu_core_0 "5.88235294117647".
- 1567974 cpu_core_0 "5.88235294117647".
- 1568677 cpu_core_0 "5.88235294117647".
- 1568711 cpu_core_0 "5.88235294117647".
- 1569110 cpu_core_0 "5.88235294117647".
- 1569456 cpu_core_0 "5.88235294117647".
- 1570465 cpu_core_0 "5.88235294117647".
- 1571119 cpu_core_0 "5.88235294117647".
- 1572057 cpu_core_0 "5.88235294117647".
- 1572228 cpu_core_0 "5.88235294117647".
- 1572390 cpu_core_0 "5.88235294117647".
- 1573923 cpu_core_0 "5.88235294117647".
- 1580020 cpu_core_0 "5.88235294117647".
- 1582071 cpu_core_0 "5.88235294117647".
- 1585724 cpu_core_0 "5.88235294117647".
- 1587112 cpu_core_0 "5.88235294117647".
- 1588023 cpu_core_0 "5.88235294117647".
- 1588165 cpu_core_0 "5.88235294117647".
- 1589374 cpu_core_0 "5.88235294117647".
- 1589387 cpu_core_0 "5.88235294117647".
- 1592901 cpu_core_0 "5.88235294117647".
- 1593254 cpu_core_0 "5.88235294117647".
- 1595016 cpu_core_0 "5.88235294117647".
- 1595080 cpu_core_0 "5.88235294117647".
- 1596221 cpu_core_0 "5.88235294117647".
- 1597034 cpu_core_0 "5.88235294117647".
- 1597359 cpu_core_0 "5.88235294117647".
- 1599646 cpu_core_0 "5.88235294117647".
- 1599740 cpu_core_0 "5.88235294117647".
- 1600577 cpu_core_0 "5.88235294117647".
- 1600847 cpu_core_0 "5.88235294117647".
- 1601026 cpu_core_0 "5.88235294117647".
- 1602325 cpu_core_0 "5.88235294117647".
- 1603095 cpu_core_0 "5.88235294117647".
- 1605417 cpu_core_0 "5.88235294117647".
- 1607443 cpu_core_0 "5.88235294117647".
- 1607639 cpu_core_0 "5.88235294117647".
- 1608326 cpu_core_0 "5.88235294117647".
- 1610681 cpu_core_0 "5.88235294117647".
- 1611308 cpu_core_0 "5.88235294117647".
- 1612601 cpu_core_0 "5.88235294117647".
- 1615088 cpu_core_0 "5.88235294117647".
- 1615677 cpu_core_0 "5.88235294117647".
- 1616989 cpu_core_0 "5.88235294117647".
- 1617751 cpu_core_0 "5.88235294117647".
- 1618302 cpu_core_0 "5.88235294117647".
- 1620451 cpu_core_0 "5.88235294117647".
- 1620457 cpu_core_0 "5.88235294117647".
- 1620631 cpu_core_0 "5.88235294117647".
- 1621198 cpu_core_0 "5.88235294117647".
- 1622531 cpu_core_0 "5.88235294117647".
- 1623027 cpu_core_0 "5.88235294117647".
- 1623680 cpu_core_0 "5.88235294117647".
- 1624442 cpu_core_0 "5.88235294117647".
- 1624518 cpu_core_0 "5.88235294117647".
- 1625517 cpu_core_0 "5.88235294117647".
- 1625707 cpu_core_0 "5.88235294117647".
- 1626100 cpu_core_0 "5.88235294117647".
- 1629461 cpu_core_0 "5.88235294117647".
- 1629476 cpu_core_0 "5.88235294117647".
- 1630335 cpu_core_0 "5.88235294117647".
- 1630827 cpu_core_0 "5.88235294117647".
- 1631878 cpu_core_0 "5.88235294117647".
- 1635290 cpu_core_0 "5.88235294117647".
- 1636443 cpu_core_0 "5.88235294117647".
- 1636650 cpu_core_0 "5.88235294117647".
- 1637055 cpu_core_0 "5.88235294117647".
- 1642232 cpu_core_0 "5.88235294117647".
- 1646598 cpu_core_0 "5.88235294117647".
- 1646803 cpu_core_0 "5.88235294117647".
- 1646863 cpu_core_0 "5.88235294117647".
- 1648325 cpu_core_0 "5.88235294117647".
- 1648524 cpu_core_0 "5.88235294117647".
- 1648640 cpu_core_0 "5.88235294117647".
- 1648652 cpu_core_0 "5.88235294117647".
- 1648995 cpu_core_0 "5.88235294117647".
- 1649002 cpu_core_0 "5.88235294117647".
- 1649737 cpu_core_0 "5.88235294117647".
- 1650015 cpu_core_0 "5.88235294117647".
- 1650025 cpu_core_0 "5.88235294117647".
- 1650562 cpu_core_0 "5.88235294117647".
- 1652159 cpu_core_0 "5.88235294117647".
- 1653220 cpu_core_0 "5.88235294117647".
- 1654405 cpu_core_0 "5.88235294117647".
- 1654412 cpu_core_0 "5.88235294117647".
- 1654459 cpu_core_0 "5.88235294117647".
- 1670438 cpu_core_0 "5.88235294117647".
- 1670752 cpu_core_0 "5.88235294117647".
- 1692775 cpu_core_0 "5.88235294117647".
- 1694772 cpu_core_0 "5.88235294117647".