Matches in ISWC2014 Benchmark for { ?s ?p 58.00000000000001. }
- 1682983 cpu_core_0 "58.00000000000001".
- 1683006 cpu_core_0 "58.00000000000001".
- 1683044 cpu_core_0 "58.00000000000001".
- 1683836 cpu_core_0 "58.00000000000001".
- 1683897 cpu_core_0 "58.00000000000001".
- 1685084 cpu_core_0 "58.00000000000001".
- 1685199 cpu_core_0 "58.00000000000001".
- 1685203 cpu_core_0 "58.00000000000001".
- 1685325 cpu_core_0 "58.00000000000001".
- 1685520 cpu_core_0 "58.00000000000001".
- 1685547 cpu_core_0 "58.00000000000001".
- 1686067 cpu_core_0 "58.00000000000001".
- 1686112 cpu_core_0 "58.00000000000001".
- 1686150 cpu_core_0 "58.00000000000001".
- 1686165 cpu_core_0 "58.00000000000001".
- 1686236 cpu_core_0 "58.00000000000001".
- 1686394 cpu_core_0 "58.00000000000001".
- 1686429 cpu_core_0 "58.00000000000001".
- 1686844 cpu_core_0 "58.00000000000001".
- 1686862 cpu_core_0 "58.00000000000001".
- 1686883 cpu_core_0 "58.00000000000001".
- 1687170 cpu_core_0 "58.00000000000001".
- 1687544 cpu_core_0 "58.00000000000001".
- 1688163 cpu_core_0 "58.00000000000001".
- 1688288 cpu_core_0 "58.00000000000001".
- 1688382 cpu_core_0 "58.00000000000001".
- 1688548 cpu_core_0 "58.00000000000001".
- 1688679 cpu_core_0 "58.00000000000001".
- 1689590 cpu_core_0 "58.00000000000001".
- 1689720 cpu_core_0 "58.00000000000001".
- 1690267 cpu_core_0 "58.00000000000001".
- 1690314 cpu_core_0 "58.00000000000001".
- 1690373 cpu_core_0 "58.00000000000001".
- 1690470 cpu_core_0 "58.00000000000001".
- 1690596 cpu_core_0 "58.00000000000001".
- 1690835 cpu_core_0 "58.00000000000001".
- 1691505 cpu_core_0 "58.00000000000001".
- 1691941 cpu_core_0 "58.00000000000001".
- 1692380 cpu_core_0 "58.00000000000001".
- 1692967 cpu_core_0 "58.00000000000001".
- 1693172 cpu_core_0 "58.00000000000001".
- 1695435 cpu_core_0 "58.00000000000001".
- 1695472 cpu_core_0 "58.00000000000001".
- 1695596 cpu_core_0 "58.00000000000001".
- 1695769 cpu_core_0 "58.00000000000001".
- 1695792 cpu_core_0 "58.00000000000001".
- 1695974 cpu_core_0 "58.00000000000001".
- 1696013 cpu_core_0 "58.00000000000001".
- 1696016 cpu_core_0 "58.00000000000001".
- 1696576 cpu_core_0 "58.00000000000001".
- 1696604 cpu_core_0 "58.00000000000001".
- 1696821 cpu_core_0 "58.00000000000001".
- 1697116 cpu_core_0 "58.00000000000001".
- 1697210 cpu_core_0 "58.00000000000001".
- 1697905 cpu_core_0 "58.00000000000001".
- 1698074 cpu_core_0 "58.00000000000001".
- 1698378 cpu_core_0 "58.00000000000001".
- 1698574 cpu_core_0 "58.00000000000001".
- 1698753 cpu_core_0 "58.00000000000001".
- 1698815 cpu_core_0 "58.00000000000001".
- 1699037 cpu_core_0 "58.00000000000001".
- 1699596 cpu_core_0 "58.00000000000001".
- 1699666 cpu_core_0 "58.00000000000001".
- 1700017 cpu_core_0 "58.00000000000001".
- 1700339 cpu_core_0 "58.00000000000001".
- 1701199 cpu_core_0 "58.00000000000001".
- 1701499 cpu_core_0 "58.00000000000001".
- 1701948 cpu_core_0 "58.00000000000001".
- 1702727 cpu_core_0 "58.00000000000001".
- 1703792 cpu_core_0 "58.00000000000001".
- 1704118 cpu_core_0 "58.00000000000001".
- 1704436 cpu_core_0 "58.00000000000001".
- 1704450 cpu_core_0 "58.00000000000001".
- 1704635 cpu_core_0 "58.00000000000001".
- 1705332 cpu_core_0 "58.00000000000001".
- 1705364 cpu_core_0 "58.00000000000001".
- 1705700 cpu_core_0 "58.00000000000001".
- 1705883 cpu_core_0 "58.00000000000001".
- 1706437 cpu_core_0 "58.00000000000001".
- 1706758 cpu_core_0 "58.00000000000001".
- 1707016 cpu_core_0 "58.00000000000001".
- 1707092 cpu_core_0 "58.00000000000001".
- 1707116 cpu_core_0 "58.00000000000001".
- 1707164 cpu_core_0 "58.00000000000001".
- 1707370 cpu_core_0 "58.00000000000001".
- 1708173 cpu_core_0 "58.00000000000001".
- 1708310 cpu_core_0 "58.00000000000001".
- 1708745 cpu_core_0 "58.00000000000001".
- 1708761 cpu_core_0 "58.00000000000001".
- 1708777 cpu_core_0 "58.00000000000001".
- 1709210 cpu_core_0 "58.00000000000001".
- 1709556 cpu_core_0 "58.00000000000001".
- 1709569 cpu_core_0 "58.00000000000001".
- 1709711 cpu_core_0 "58.00000000000001".
- 1709861 cpu_core_0 "58.00000000000001".
- 1712209 cpu_core_0 "58.00000000000001".
- 1712334 cpu_core_0 "58.00000000000001".
- 1712560 cpu_core_0 "58.00000000000001".
- 1712626 cpu_core_0 "58.00000000000001".
- 1712654 cpu_core_0 "58.00000000000001".