Matches in ISWC2014 Benchmark for { ?s ?p 5.88235294117647. }
- 1581616 cpu_core_1 "5.88235294117647".
- 1583712 cpu_core_1 "5.88235294117647".
- 1584466 cpu_core_1 "5.88235294117647".
- 1585285 cpu_core_1 "5.88235294117647".
- 1587541 cpu_core_1 "5.88235294117647".
- 1588193 cpu_core_1 "5.88235294117647".
- 1590018 cpu_core_1 "5.88235294117647".
- 1590220 cpu_core_1 "5.88235294117647".
- 1592691 cpu_core_1 "5.88235294117647".
- 1593207 cpu_core_1 "5.88235294117647".
- 1593288 cpu_core_1 "5.88235294117647".
- 1594670 cpu_core_1 "5.88235294117647".
- 1597600 cpu_core_1 "5.88235294117647".
- 1598327 cpu_core_1 "5.88235294117647".
- 1598603 cpu_core_1 "5.88235294117647".
- 1599036 cpu_core_1 "5.88235294117647".
- 1599207 cpu_core_1 "5.88235294117647".
- 1599643 cpu_core_1 "5.88235294117647".
- 1600830 cpu_core_1 "5.88235294117647".
- 1603038 cpu_core_1 "5.88235294117647".
- 1603906 cpu_core_1 "5.88235294117647".
- 1603919 cpu_core_1 "5.88235294117647".
- 1604397 cpu_core_1 "5.88235294117647".
- 1604837 cpu_core_1 "5.88235294117647".
- 1605132 cpu_core_1 "5.88235294117647".
- 1605212 cpu_core_1 "5.88235294117647".
- 1609162 cpu_core_1 "5.88235294117647".
- 1609634 cpu_core_1 "5.88235294117647".
- 1611393 cpu_core_1 "5.88235294117647".
- 1613267 cpu_core_1 "5.88235294117647".
- 1614847 cpu_core_1 "5.88235294117647".
- 1615711 cpu_core_1 "5.88235294117647".
- 1618158 cpu_core_1 "5.88235294117647".
- 1618213 cpu_core_1 "5.88235294117647".
- 1624319 cpu_core_1 "5.88235294117647".
- 1625305 cpu_core_1 "5.88235294117647".
- 1628460 cpu_core_1 "5.88235294117647".
- 1629243 cpu_core_1 "5.88235294117647".
- 1630076 cpu_core_1 "5.88235294117647".
- 1632291 cpu_core_1 "5.88235294117647".
- 1634696 cpu_core_1 "5.88235294117647".
- 1634895 cpu_core_1 "5.88235294117647".
- 1636652 cpu_core_1 "5.88235294117647".
- 1641850 cpu_core_1 "5.88235294117647".
- 1647151 cpu_core_1 "5.88235294117647".
- 1647183 cpu_core_1 "5.88235294117647".
- 1647236 cpu_core_1 "5.88235294117647".
- 1647687 cpu_core_1 "5.88235294117647".
- 1647846 cpu_core_1 "5.88235294117647".
- 1647850 cpu_core_1 "5.88235294117647".
- 1648080 cpu_core_1 "5.88235294117647".
- 1648247 cpu_core_1 "5.88235294117647".
- 1648422 cpu_core_1 "5.88235294117647".
- 1648466 cpu_core_1 "5.88235294117647".
- 1648910 cpu_core_1 "5.88235294117647".
- 1649125 cpu_core_1 "5.88235294117647".
- 1649506 cpu_core_1 "5.88235294117647".
- 1649827 cpu_core_1 "5.88235294117647".
- 1649898 cpu_core_1 "5.88235294117647".
- 1649971 cpu_core_1 "5.88235294117647".
- 1650234 cpu_core_1 "5.88235294117647".
- 1650607 cpu_core_1 "5.88235294117647".
- 1651011 cpu_core_1 "5.88235294117647".
- 1651301 cpu_core_1 "5.88235294117647".
- 1652019 cpu_core_1 "5.88235294117647".
- 1652106 cpu_core_1 "5.88235294117647".
- 1652200 cpu_core_1 "5.88235294117647".
- 1652248 cpu_core_1 "5.88235294117647".
- 1652343 cpu_core_1 "5.88235294117647".
- 1652373 cpu_core_1 "5.88235294117647".
- 1652437 cpu_core_1 "5.88235294117647".
- 1652456 cpu_core_1 "5.88235294117647".
- 1653304 cpu_core_1 "5.88235294117647".
- 1671584 cpu_core_1 "5.88235294117647".
- 1674166 cpu_core_1 "5.88235294117647".
- 1674190 cpu_core_1 "5.88235294117647".
- 1674694 cpu_core_1 "5.88235294117647".
- 1674797 cpu_core_1 "5.88235294117647".
- 1694793 cpu_core_1 "5.88235294117647".
- 1706901 cpu_core_1 "5.88235294117647".
- 1714556 cpu_core_1 "5.88235294117647".
- 1715017 cpu_core_1 "5.88235294117647".
- 1715057 cpu_core_1 "5.88235294117647".
- 1717458 cpu_core_1 "5.88235294117647".
- 1718020 cpu_core_1 "5.88235294117647".
- 1718317 cpu_core_1 "5.88235294117647".
- 1718608 cpu_core_1 "5.88235294117647".
- 1720307 cpu_core_1 "5.88235294117647".
- 1723533 cpu_core_1 "5.88235294117647".
- 1725984 cpu_core_1 "5.88235294117647".
- 1726371 cpu_core_1 "5.88235294117647".
- 1726493 cpu_core_1 "5.88235294117647".
- 1729650 cpu_core_1 "5.88235294117647".
- 1731390 cpu_core_1 "5.88235294117647".
- 1732980 cpu_core_1 "5.88235294117647".
- 1733923 cpu_core_1 "5.88235294117647".
- 1735670 cpu_core_1 "5.88235294117647".
- 1742475 cpu_core_1 "5.88235294117647".
- 1742633 cpu_core_1 "5.88235294117647".
- 1743400 cpu_core_1 "5.88235294117647".