Matches in ISWC2014 Benchmark for { ?s ?p 25.742574257425744. }
- 1643237 cpu_core_1 "25.742574257425744".
- 1643393 cpu_core_1 "25.742574257425744".
- 1643551 cpu_core_1 "25.742574257425744".
- 1643755 cpu_core_1 "25.742574257425744".
- 1643931 cpu_core_1 "25.742574257425744".
- 1643971 cpu_core_1 "25.742574257425744".
- 1643997 cpu_core_1 "25.742574257425744".
- 1644469 cpu_core_1 "25.742574257425744".
- 1645369 cpu_core_1 "25.742574257425744".
- 1645420 cpu_core_1 "25.742574257425744".
- 1645920 cpu_core_1 "25.742574257425744".
- 1646002 cpu_core_1 "25.742574257425744".
- 1655813 cpu_core_1 "25.742574257425744".
- 1656502 cpu_core_1 "25.742574257425744".
- 1657411 cpu_core_1 "25.742574257425744".
- 1658381 cpu_core_1 "25.742574257425744".
- 1660576 cpu_core_1 "25.742574257425744".
- 1660584 cpu_core_1 "25.742574257425744".
- 1662372 cpu_core_1 "25.742574257425744".
- 1663215 cpu_core_1 "25.742574257425744".
- 1663479 cpu_core_1 "25.742574257425744".
- 1667666 cpu_core_1 "25.742574257425744".
- 1667956 cpu_core_1 "25.742574257425744".
- 1668265 cpu_core_1 "25.742574257425744".
- 1672255 cpu_core_1 "25.742574257425744".
- 1672364 cpu_core_1 "25.742574257425744".
- 1673143 cpu_core_1 "25.742574257425744".
- 1673235 cpu_core_1 "25.742574257425744".
- 1675406 cpu_core_1 "25.742574257425744".
- 1676235 cpu_core_1 "25.742574257425744".
- 1676330 cpu_core_1 "25.742574257425744".
- 1676966 cpu_core_1 "25.742574257425744".
- 1677181 cpu_core_1 "25.742574257425744".
- 1679830 cpu_core_1 "25.742574257425744".
- 1679897 cpu_core_1 "25.742574257425744".
- 1680450 cpu_core_1 "25.742574257425744".
- 1681825 cpu_core_1 "25.742574257425744".
- 1682210 cpu_core_1 "25.742574257425744".
- 1682493 cpu_core_1 "25.742574257425744".
- 1683576 cpu_core_1 "25.742574257425744".
- 1685954 cpu_core_1 "25.742574257425744".
- 1687494 cpu_core_1 "25.742574257425744".
- 1688019 cpu_core_1 "25.742574257425744".
- 1688173 cpu_core_1 "25.742574257425744".
- 1688625 cpu_core_1 "25.742574257425744".
- 1688763 cpu_core_1 "25.742574257425744".
- 1689228 cpu_core_1 "25.742574257425744".
- 1689730 cpu_core_1 "25.742574257425744".
- 1690156 cpu_core_1 "25.742574257425744".
- 1690652 cpu_core_1 "25.742574257425744".
- 1691327 cpu_core_1 "25.742574257425744".
- 1691671 cpu_core_1 "25.742574257425744".
- 1692990 cpu_core_1 "25.742574257425744".
- 1693135 cpu_core_1 "25.742574257425744".
- 1696416 cpu_core_1 "25.742574257425744".
- 1696824 cpu_core_1 "25.742574257425744".
- 1697517 cpu_core_1 "25.742574257425744".
- 1697872 cpu_core_1 "25.742574257425744".
- 1697957 cpu_core_1 "25.742574257425744".
- 1698356 cpu_core_1 "25.742574257425744".
- 1698440 cpu_core_1 "25.742574257425744".
- 1698515 cpu_core_1 "25.742574257425744".
- 1699507 cpu_core_1 "25.742574257425744".
- 1700366 cpu_core_1 "25.742574257425744".
- 1700422 cpu_core_1 "25.742574257425744".
- 1700607 cpu_core_1 "25.742574257425744".
- 1700898 cpu_core_1 "25.742574257425744".
- 1700976 cpu_core_1 "25.742574257425744".
- 1701308 cpu_core_1 "25.742574257425744".
- 1702145 cpu_core_1 "25.742574257425744".
- 1702461 cpu_core_1 "25.742574257425744".
- 1702594 cpu_core_1 "25.742574257425744".
- 1702604 cpu_core_1 "25.742574257425744".
- 1704909 cpu_core_1 "25.742574257425744".
- 1705920 cpu_core_1 "25.742574257425744".
- 1706034 cpu_core_1 "25.742574257425744".
- 1706259 cpu_core_1 "25.742574257425744".
- 1706724 cpu_core_1 "25.742574257425744".
- 1707381 cpu_core_1 "25.742574257425744".
- 1707383 cpu_core_1 "25.742574257425744".
- 1708066 cpu_core_1 "25.742574257425744".
- 1708139 cpu_core_1 "25.742574257425744".
- 1708461 cpu_core_1 "25.742574257425744".
- 1708648 cpu_core_1 "25.742574257425744".
- 1709039 cpu_core_1 "25.742574257425744".
- 1744924 cpu_core_1 "25.742574257425744".
- 1749500 cpu_core_1 "25.742574257425744".
- 1764435 cpu_core_1 "25.742574257425744".
- 1764627 cpu_core_1 "25.742574257425744".
- 1771791 cpu_core_1 "25.742574257425744".
- 1824539 cpu_core_1 "25.742574257425744".
- 1838126 cpu_core_1 "25.742574257425744".
- 1844908 cpu_core_1 "25.742574257425744".
- 1874429 cpu_core_1 "25.742574257425744".
- 1898216 cpu_core_1 "25.742574257425744".
- 1899283 cpu_core_1 "25.742574257425744".
- 1913746 cpu_core_1 "25.742574257425744".
- 1913844 cpu_core_1 "25.742574257425744".
- 1914084 cpu_core_1 "25.742574257425744".
- 1914681 cpu_core_1 "25.742574257425744".