Matches in ISWC2014 Benchmark for { ?s ?p 25.742574257425744. }
- 1684078 cpu_core_0 "25.742574257425744".
- 1684087 cpu_core_0 "25.742574257425744".
- 1684798 cpu_core_0 "25.742574257425744".
- 1684903 cpu_core_0 "25.742574257425744".
- 1685519 cpu_core_0 "25.742574257425744".
- 1685823 cpu_core_0 "25.742574257425744".
- 1686213 cpu_core_0 "25.742574257425744".
- 1686656 cpu_core_0 "25.742574257425744".
- 1686987 cpu_core_0 "25.742574257425744".
- 1687166 cpu_core_0 "25.742574257425744".
- 1687181 cpu_core_0 "25.742574257425744".
- 1687982 cpu_core_0 "25.742574257425744".
- 1688435 cpu_core_0 "25.742574257425744".
- 1689419 cpu_core_0 "25.742574257425744".
- 1689549 cpu_core_0 "25.742574257425744".
- 1690220 cpu_core_0 "25.742574257425744".
- 1690535 cpu_core_0 "25.742574257425744".
- 1690590 cpu_core_0 "25.742574257425744".
- 1691383 cpu_core_0 "25.742574257425744".
- 1691394 cpu_core_0 "25.742574257425744".
- 1691408 cpu_core_0 "25.742574257425744".
- 1692002 cpu_core_0 "25.742574257425744".
- 1692431 cpu_core_0 "25.742574257425744".
- 1692451 cpu_core_0 "25.742574257425744".
- 1692550 cpu_core_0 "25.742574257425744".
- 1692873 cpu_core_0 "25.742574257425744".
- 1693124 cpu_core_0 "25.742574257425744".
- 1693802 cpu_core_0 "25.742574257425744".
- 1696129 cpu_core_0 "25.742574257425744".
- 1696194 cpu_core_0 "25.742574257425744".
- 1696214 cpu_core_0 "25.742574257425744".
- 1696415 cpu_core_0 "25.742574257425744".
- 1697117 cpu_core_0 "25.742574257425744".
- 1697622 cpu_core_0 "25.742574257425744".
- 1697671 cpu_core_0 "25.742574257425744".
- 1697823 cpu_core_0 "25.742574257425744".
- 1699550 cpu_core_0 "25.742574257425744".
- 1699765 cpu_core_0 "25.742574257425744".
- 1700291 cpu_core_0 "25.742574257425744".
- 1701058 cpu_core_0 "25.742574257425744".
- 1701091 cpu_core_0 "25.742574257425744".
- 1701178 cpu_core_0 "25.742574257425744".
- 1701236 cpu_core_0 "25.742574257425744".
- 1701456 cpu_core_0 "25.742574257425744".
- 1701564 cpu_core_0 "25.742574257425744".
- 1701709 cpu_core_0 "25.742574257425744".
- 1701729 cpu_core_0 "25.742574257425744".
- 1702146 cpu_core_0 "25.742574257425744".
- 1702654 cpu_core_0 "25.742574257425744".
- 1703587 cpu_core_0 "25.742574257425744".
- 1703589 cpu_core_0 "25.742574257425744".
- 1703594 cpu_core_0 "25.742574257425744".
- 1703781 cpu_core_0 "25.742574257425744".
- 1703917 cpu_core_0 "25.742574257425744".
- 1705178 cpu_core_0 "25.742574257425744".
- 1705251 cpu_core_0 "25.742574257425744".
- 1705279 cpu_core_0 "25.742574257425744".
- 1705505 cpu_core_0 "25.742574257425744".
- 1705723 cpu_core_0 "25.742574257425744".
- 1706021 cpu_core_0 "25.742574257425744".
- 1706093 cpu_core_0 "25.742574257425744".
- 1706226 cpu_core_0 "25.742574257425744".
- 1706397 cpu_core_0 "25.742574257425744".
- 1706502 cpu_core_0 "25.742574257425744".
- 1706587 cpu_core_0 "25.742574257425744".
- 1706599 cpu_core_0 "25.742574257425744".
- 1706605 cpu_core_0 "25.742574257425744".
- 1706868 cpu_core_0 "25.742574257425744".
- 1706945 cpu_core_0 "25.742574257425744".
- 1707743 cpu_core_0 "25.742574257425744".
- 1708217 cpu_core_0 "25.742574257425744".
- 1708445 cpu_core_0 "25.742574257425744".
- 1708945 cpu_core_0 "25.742574257425744".
- 1708966 cpu_core_0 "25.742574257425744".
- 1709018 cpu_core_0 "25.742574257425744".
- 1709413 cpu_core_0 "25.742574257425744".
- 1709767 cpu_core_0 "25.742574257425744".
- 1709936 cpu_core_0 "25.742574257425744".
- 1710153 cpu_core_0 "25.742574257425744".
- 1710163 cpu_core_0 "25.742574257425744".
- 1710504 cpu_core_0 "25.742574257425744".
- 1710510 cpu_core_0 "25.742574257425744".
- 1710576 cpu_core_0 "25.742574257425744".
- 1710899 cpu_core_0 "25.742574257425744".
- 1711109 cpu_core_0 "25.742574257425744".
- 1713048 cpu_core_0 "25.742574257425744".
- 1726933 cpu_core_0 "25.742574257425744".
- 1733569 cpu_core_0 "25.742574257425744".
- 1733642 cpu_core_0 "25.742574257425744".
- 1733684 cpu_core_0 "25.742574257425744".
- 1739076 cpu_core_0 "25.742574257425744".
- 1739230 cpu_core_0 "25.742574257425744".
- 1748115 cpu_core_0 "25.742574257425744".
- 1749469 cpu_core_0 "25.742574257425744".
- 1750338 cpu_core_0 "25.742574257425744".
- 1750352 cpu_core_0 "25.742574257425744".
- 1750685 cpu_core_0 "25.742574257425744".
- 1750804 cpu_core_0 "25.742574257425744".
- 1751106 cpu_core_0 "25.742574257425744".
- 1751707 cpu_core_0 "25.742574257425744".