Matches in ISWC2014 Benchmark for { ?s ?p 13.725490196078432. }
- 1619072 cpu_core_1 "13.725490196078432".
- 1620175 cpu_core_1 "13.725490196078432".
- 1620310 cpu_core_1 "13.725490196078432".
- 1628071 cpu_core_1 "13.725490196078432".
- 1630659 cpu_core_1 "13.725490196078432".
- 1631266 cpu_core_1 "13.725490196078432".
- 1631639 cpu_core_1 "13.725490196078432".
- 1632457 cpu_core_1 "13.725490196078432".
- 1632968 cpu_core_1 "13.725490196078432".
- 1633350 cpu_core_1 "13.725490196078432".
- 1639627 cpu_core_1 "13.725490196078432".
- 1640863 cpu_core_1 "13.725490196078432".
- 1645867 cpu_core_1 "13.725490196078432".
- 1654661 cpu_core_1 "13.725490196078432".
- 1670303 cpu_core_1 "13.725490196078432".
- 1672027 cpu_core_1 "13.725490196078432".
- 1680358 cpu_core_1 "13.725490196078432".
- 1688343 cpu_core_1 "13.725490196078432".
- 1688991 cpu_core_1 "13.725490196078432".
- 1691544 cpu_core_1 "13.725490196078432".
- 1693515 cpu_core_1 "13.725490196078432".
- 1700775 cpu_core_1 "13.725490196078432".
- 1704876 cpu_core_1 "13.725490196078432".
- 1713070 cpu_core_1 "13.725490196078432".
- 1713683 cpu_core_1 "13.725490196078432".
- 1719072 cpu_core_1 "13.725490196078432".
- 1721749 cpu_core_1 "13.725490196078432".
- 1721807 cpu_core_1 "13.725490196078432".
- 1725717 cpu_core_1 "13.725490196078432".
- 1727179 cpu_core_1 "13.725490196078432".
- 1729967 cpu_core_1 "13.725490196078432".
- 1731856 cpu_core_1 "13.725490196078432".
- 1739419 cpu_core_1 "13.725490196078432".
- 1743447 cpu_core_1 "13.725490196078432".
- 1745826 cpu_core_1 "13.725490196078432".
- 1745982 cpu_core_1 "13.725490196078432".
- 1748331 cpu_core_1 "13.725490196078432".
- 1750052 cpu_core_1 "13.725490196078432".
- 1750659 cpu_core_1 "13.725490196078432".
- 1750815 cpu_core_1 "13.725490196078432".
- 1750998 cpu_core_1 "13.725490196078432".
- 1751104 cpu_core_1 "13.725490196078432".
- 1751880 cpu_core_1 "13.725490196078432".
- 1752491 cpu_core_1 "13.725490196078432".
- 1752620 cpu_core_1 "13.725490196078432".
- 1753509 cpu_core_1 "13.725490196078432".
- 1754332 cpu_core_1 "13.725490196078432".
- 1758560 cpu_core_1 "13.725490196078432".
- 1758632 cpu_core_1 "13.725490196078432".
- 1759395 cpu_core_1 "13.725490196078432".
- 1762597 cpu_core_1 "13.725490196078432".
- 1764971 cpu_core_1 "13.725490196078432".
- 1766809 cpu_core_1 "13.725490196078432".
- 1770569 cpu_core_1 "13.725490196078432".
- 1770774 cpu_core_1 "13.725490196078432".
- 1772096 cpu_core_1 "13.725490196078432".
- 1772331 cpu_core_1 "13.725490196078432".
- 1774675 cpu_core_1 "13.725490196078432".
- 1775663 cpu_core_1 "13.725490196078432".
- 1781068 cpu_core_1 "13.725490196078432".
- 1786442 cpu_core_1 "13.725490196078432".
- 1787990 cpu_core_1 "13.725490196078432".
- 1791499 cpu_core_1 "13.725490196078432".
- 1791919 cpu_core_1 "13.725490196078432".
- 1793358 cpu_core_1 "13.725490196078432".
- 1797159 cpu_core_1 "13.725490196078432".
- 1797238 cpu_core_1 "13.725490196078432".
- 1797661 cpu_core_1 "13.725490196078432".
- 1797957 cpu_core_1 "13.725490196078432".
- 1798666 cpu_core_1 "13.725490196078432".
- 1799563 cpu_core_1 "13.725490196078432".
- 1801559 cpu_core_1 "13.725490196078432".
- 1801966 cpu_core_1 "13.725490196078432".
- 1802875 cpu_core_1 "13.725490196078432".
- 1804891 cpu_core_1 "13.725490196078432".
- 1809710 cpu_core_1 "13.725490196078432".
- 1813562 cpu_core_1 "13.725490196078432".
- 1814246 cpu_core_1 "13.725490196078432".
- 1816711 cpu_core_1 "13.725490196078432".
- 1819129 cpu_core_1 "13.725490196078432".
- 1820693 cpu_core_1 "13.725490196078432".
- 1822801 cpu_core_1 "13.725490196078432".
- 1825936 cpu_core_1 "13.725490196078432".
- 1831931 cpu_core_1 "13.725490196078432".
- 1833670 cpu_core_1 "13.725490196078432".
- 1838305 cpu_core_1 "13.725490196078432".
- 1839480 cpu_core_1 "13.725490196078432".
- 1850026 cpu_core_1 "13.725490196078432".
- 1852148 cpu_core_1 "13.725490196078432".
- 1852979 cpu_core_1 "13.725490196078432".
- 1853339 cpu_core_1 "13.725490196078432".
- 1854587 cpu_core_1 "13.725490196078432".
- 1860284 cpu_core_1 "13.725490196078432".
- 1867316 cpu_core_1 "13.725490196078432".
- 1867385 cpu_core_1 "13.725490196078432".
- 1872335 cpu_core_1 "13.725490196078432".
- 1872452 cpu_core_1 "13.725490196078432".
- 1873216 cpu_core_1 "13.725490196078432".
- 1874130 cpu_core_1 "13.725490196078432".
- 1874439 cpu_core_1 "13.725490196078432".