Matches in ISWC2014 Benchmark for { ?s ?p 11.76470588235294. }
- 1643428 cpu_core_2 "11.76470588235294".
- 1655270 cpu_core_2 "11.76470588235294".
- 1669696 cpu_core_2 "11.76470588235294".
- 1678836 cpu_core_2 "11.76470588235294".
- 1686031 cpu_core_2 "11.76470588235294".
- 1692671 cpu_core_2 "11.76470588235294".
- 1712344 cpu_core_2 "11.76470588235294".
- 1714078 cpu_core_2 "11.76470588235294".
- 1716697 cpu_core_2 "11.76470588235294".
- 1718144 cpu_core_2 "11.76470588235294".
- 1720554 cpu_core_2 "11.76470588235294".
- 1720966 cpu_core_2 "11.76470588235294".
- 1721122 cpu_core_2 "11.76470588235294".
- 1721331 cpu_core_2 "11.76470588235294".
- 1725581 cpu_core_2 "11.76470588235294".
- 1729954 cpu_core_2 "11.76470588235294".
- 1730553 cpu_core_2 "11.76470588235294".
- 1731532 cpu_core_2 "11.76470588235294".
- 1731825 cpu_core_2 "11.76470588235294".
- 1734571 cpu_core_2 "11.76470588235294".
- 1737382 cpu_core_2 "11.76470588235294".
- 1741747 cpu_core_2 "11.76470588235294".
- 1742177 cpu_core_2 "11.76470588235294".
- 1742588 cpu_core_2 "11.76470588235294".
- 1744615 cpu_core_2 "11.76470588235294".
- 1746800 cpu_core_2 "11.76470588235294".
- 1747729 cpu_core_2 "11.76470588235294".
- 1747766 cpu_core_2 "11.76470588235294".
- 1748422 cpu_core_2 "11.76470588235294".
- 1748661 cpu_core_2 "11.76470588235294".
- 1748734 cpu_core_2 "11.76470588235294".
- 1749188 cpu_core_2 "11.76470588235294".
- 1749261 cpu_core_2 "11.76470588235294".
- 1749304 cpu_core_2 "11.76470588235294".
- 1749322 cpu_core_2 "11.76470588235294".
- 1750510 cpu_core_2 "11.76470588235294".
- 1751591 cpu_core_2 "11.76470588235294".
- 1751792 cpu_core_2 "11.76470588235294".
- 1753374 cpu_core_2 "11.76470588235294".
- 1756402 cpu_core_2 "11.76470588235294".
- 1757130 cpu_core_2 "11.76470588235294".
- 1761996 cpu_core_2 "11.76470588235294".
- 1762031 cpu_core_2 "11.76470588235294".
- 1762043 cpu_core_2 "11.76470588235294".
- 1763050 cpu_core_2 "11.76470588235294".
- 1763778 cpu_core_2 "11.76470588235294".
- 1763783 cpu_core_2 "11.76470588235294".
- 1764894 cpu_core_2 "11.76470588235294".
- 1765503 cpu_core_2 "11.76470588235294".
- 1767302 cpu_core_2 "11.76470588235294".
- 1769072 cpu_core_2 "11.76470588235294".
- 1770393 cpu_core_2 "11.76470588235294".
- 1771048 cpu_core_2 "11.76470588235294".
- 1771153 cpu_core_2 "11.76470588235294".
- 1771190 cpu_core_2 "11.76470588235294".
- 1771258 cpu_core_2 "11.76470588235294".
- 1772143 cpu_core_2 "11.76470588235294".
- 1773409 cpu_core_2 "11.76470588235294".
- 1775215 cpu_core_2 "11.76470588235294".
- 1775299 cpu_core_2 "11.76470588235294".
- 1776175 cpu_core_2 "11.76470588235294".
- 1778626 cpu_core_2 "11.76470588235294".
- 1780012 cpu_core_2 "11.76470588235294".
- 1780880 cpu_core_2 "11.76470588235294".
- 1780891 cpu_core_2 "11.76470588235294".
- 1781190 cpu_core_2 "11.76470588235294".
- 1781418 cpu_core_2 "11.76470588235294".
- 1782692 cpu_core_2 "11.76470588235294".
- 1785833 cpu_core_2 "11.76470588235294".
- 1787224 cpu_core_2 "11.76470588235294".
- 1788754 cpu_core_2 "11.76470588235294".
- 1789110 cpu_core_2 "11.76470588235294".
- 1789346 cpu_core_2 "11.76470588235294".
- 1791791 cpu_core_2 "11.76470588235294".
- 1794276 cpu_core_2 "11.76470588235294".
- 1794916 cpu_core_2 "11.76470588235294".
- 1796497 cpu_core_2 "11.76470588235294".
- 1796759 cpu_core_2 "11.76470588235294".
- 1798966 cpu_core_2 "11.76470588235294".
- 1802828 cpu_core_2 "11.76470588235294".
- 1804089 cpu_core_2 "11.76470588235294".
- 1805481 cpu_core_2 "11.76470588235294".
- 1807557 cpu_core_2 "11.76470588235294".
- 1812388 cpu_core_2 "11.76470588235294".
- 1813347 cpu_core_2 "11.76470588235294".
- 1814402 cpu_core_2 "11.76470588235294".
- 1814730 cpu_core_2 "11.76470588235294".
- 1815326 cpu_core_2 "11.76470588235294".
- 1816241 cpu_core_2 "11.76470588235294".
- 1816501 cpu_core_2 "11.76470588235294".
- 1819329 cpu_core_2 "11.76470588235294".
- 1819981 cpu_core_2 "11.76470588235294".
- 1820031 cpu_core_2 "11.76470588235294".
- 1821402 cpu_core_2 "11.76470588235294".
- 1821720 cpu_core_2 "11.76470588235294".
- 1823834 cpu_core_2 "11.76470588235294".
- 1824124 cpu_core_2 "11.76470588235294".
- 1824713 cpu_core_2 "11.76470588235294".
- 1831120 cpu_core_2 "11.76470588235294".
- 1835686 cpu_core_2 "11.76470588235294".