Matches in ISWC2014 Benchmark for { ?s ?p 60.00000000000001. }
- 1327238 cpu_core_0 "60.00000000000001".
- 1338189 cpu_core_0 "60.00000000000001".
- 1338338 cpu_core_0 "60.00000000000001".
- 1385690 cpu_core_0 "60.00000000000001".
- 1431262 cpu_core_0 "60.00000000000001".
- 1431277 cpu_core_0 "60.00000000000001".
- 1446489 cpu_core_0 "60.00000000000001".
- 1488395 cpu_core_0 "60.00000000000001".
- 1527047 cpu_core_0 "60.00000000000001".
- 1544960 cpu_core_0 "60.00000000000001".
- 1578691 cpu_core_0 "60.00000000000001".
- 1595174 cpu_core_0 "60.00000000000001".
- 1595636 cpu_core_0 "60.00000000000001".
- 1638011 cpu_core_0 "60.00000000000001".
- 1654564 cpu_core_0 "60.00000000000001".
- 1654797 cpu_core_0 "60.00000000000001".
- 1654967 cpu_core_0 "60.00000000000001".
- 1656265 cpu_core_0 "60.00000000000001".
- 1656590 cpu_core_0 "60.00000000000001".
- 1656634 cpu_core_0 "60.00000000000001".
- 1656650 cpu_core_0 "60.00000000000001".
- 1657040 cpu_core_0 "60.00000000000001".
- 1657554 cpu_core_0 "60.00000000000001".
- 1657610 cpu_core_0 "60.00000000000001".
- 1657752 cpu_core_0 "60.00000000000001".
- 1658493 cpu_core_0 "60.00000000000001".
- 1658697 cpu_core_0 "60.00000000000001".
- 1658742 cpu_core_0 "60.00000000000001".
- 1658974 cpu_core_0 "60.00000000000001".
- 1658999 cpu_core_0 "60.00000000000001".
- 1659116 cpu_core_0 "60.00000000000001".
- 1659546 cpu_core_0 "60.00000000000001".
- 1660107 cpu_core_0 "60.00000000000001".
- 1660148 cpu_core_0 "60.00000000000001".
- 1660518 cpu_core_0 "60.00000000000001".
- 1660682 cpu_core_0 "60.00000000000001".
- 1661073 cpu_core_0 "60.00000000000001".
- 1661244 cpu_core_0 "60.00000000000001".
- 1661308 cpu_core_0 "60.00000000000001".
- 1661504 cpu_core_0 "60.00000000000001".
- 1661624 cpu_core_0 "60.00000000000001".
- 1661796 cpu_core_0 "60.00000000000001".
- 1661935 cpu_core_0 "60.00000000000001".
- 1662264 cpu_core_0 "60.00000000000001".
- 1662473 cpu_core_0 "60.00000000000001".
- 1664723 cpu_core_0 "60.00000000000001".
- 1665308 cpu_core_0 "60.00000000000001".
- 1665332 cpu_core_0 "60.00000000000001".
- 1665711 cpu_core_0 "60.00000000000001".
- 1665780 cpu_core_0 "60.00000000000001".
- 1665955 cpu_core_0 "60.00000000000001".
- 1666965 cpu_core_0 "60.00000000000001".
- 1667057 cpu_core_0 "60.00000000000001".
- 1667514 cpu_core_0 "60.00000000000001".
- 1667549 cpu_core_0 "60.00000000000001".
- 1667725 cpu_core_0 "60.00000000000001".
- 1668270 cpu_core_0 "60.00000000000001".
- 1669330 cpu_core_0 "60.00000000000001".
- 1669514 cpu_core_0 "60.00000000000001".
- 1675175 cpu_core_0 "60.00000000000001".
- 1676756 cpu_core_0 "60.00000000000001".
- 1679517 cpu_core_0 "60.00000000000001".
- 1680207 cpu_core_0 "60.00000000000001".
- 1680784 cpu_core_0 "60.00000000000001".
- 1681079 cpu_core_0 "60.00000000000001".
- 1682173 cpu_core_0 "60.00000000000001".
- 1682692 cpu_core_0 "60.00000000000001".
- 1683453 cpu_core_0 "60.00000000000001".
- 1683633 cpu_core_0 "60.00000000000001".
- 1684560 cpu_core_0 "60.00000000000001".
- 1684764 cpu_core_0 "60.00000000000001".
- 1685963 cpu_core_0 "60.00000000000001".
- 1686292 cpu_core_0 "60.00000000000001".
- 1686780 cpu_core_0 "60.00000000000001".
- 1690263 cpu_core_0 "60.00000000000001".
- 1691180 cpu_core_0 "60.00000000000001".
- 1692724 cpu_core_0 "60.00000000000001".
- 1693003 cpu_core_0 "60.00000000000001".
- 1693086 cpu_core_0 "60.00000000000001".
- 1695406 cpu_core_0 "60.00000000000001".
- 1696032 cpu_core_0 "60.00000000000001".
- 1696092 cpu_core_0 "60.00000000000001".
- 1696274 cpu_core_0 "60.00000000000001".
- 1697114 cpu_core_0 "60.00000000000001".
- 1697466 cpu_core_0 "60.00000000000001".
- 1699339 cpu_core_0 "60.00000000000001".
- 1699342 cpu_core_0 "60.00000000000001".
- 1700364 cpu_core_0 "60.00000000000001".
- 1700722 cpu_core_0 "60.00000000000001".
- 1700808 cpu_core_0 "60.00000000000001".
- 1701777 cpu_core_0 "60.00000000000001".
- 1701824 cpu_core_0 "60.00000000000001".
- 1703176 cpu_core_0 "60.00000000000001".
- 1703512 cpu_core_0 "60.00000000000001".
- 1704216 cpu_core_0 "60.00000000000001".
- 1704630 cpu_core_0 "60.00000000000001".
- 1705388 cpu_core_0 "60.00000000000001".
- 1706189 cpu_core_0 "60.00000000000001".
- 1707542 cpu_core_0 "60.00000000000001".
- 1707923 cpu_core_0 "60.00000000000001".