Matches in ISWC2014 Benchmark for { ?s ?p 11.76470588235294. }
- 1724249 cpu_core_1 "11.76470588235294".
- 1725871 cpu_core_1 "11.76470588235294".
- 1727973 cpu_core_1 "11.76470588235294".
- 1728083 cpu_core_1 "11.76470588235294".
- 1728609 cpu_core_1 "11.76470588235294".
- 1728697 cpu_core_1 "11.76470588235294".
- 1729560 cpu_core_1 "11.76470588235294".
- 1731009 cpu_core_1 "11.76470588235294".
- 1731302 cpu_core_1 "11.76470588235294".
- 1732908 cpu_core_1 "11.76470588235294".
- 1733934 cpu_core_1 "11.76470588235294".
- 1735497 cpu_core_1 "11.76470588235294".
- 1736228 cpu_core_1 "11.76470588235294".
- 1736660 cpu_core_1 "11.76470588235294".
- 1736957 cpu_core_1 "11.76470588235294".
- 1738083 cpu_core_1 "11.76470588235294".
- 1740878 cpu_core_1 "11.76470588235294".
- 1740967 cpu_core_1 "11.76470588235294".
- 1741132 cpu_core_1 "11.76470588235294".
- 1741596 cpu_core_1 "11.76470588235294".
- 1741621 cpu_core_1 "11.76470588235294".
- 1741807 cpu_core_1 "11.76470588235294".
- 1742558 cpu_core_1 "11.76470588235294".
- 1742754 cpu_core_1 "11.76470588235294".
- 1743420 cpu_core_1 "11.76470588235294".
- 1744463 cpu_core_1 "11.76470588235294".
- 1744879 cpu_core_1 "11.76470588235294".
- 1745022 cpu_core_1 "11.76470588235294".
- 1745092 cpu_core_1 "11.76470588235294".
- 1745908 cpu_core_1 "11.76470588235294".
- 1746046 cpu_core_1 "11.76470588235294".
- 1746527 cpu_core_1 "11.76470588235294".
- 1747137 cpu_core_1 "11.76470588235294".
- 1747639 cpu_core_1 "11.76470588235294".
- 1751249 cpu_core_1 "11.76470588235294".
- 1751458 cpu_core_1 "11.76470588235294".
- 1752679 cpu_core_1 "11.76470588235294".
- 1752889 cpu_core_1 "11.76470588235294".
- 1753882 cpu_core_1 "11.76470588235294".
- 1754418 cpu_core_1 "11.76470588235294".
- 1754434 cpu_core_1 "11.76470588235294".
- 1757751 cpu_core_1 "11.76470588235294".
- 1760040 cpu_core_1 "11.76470588235294".
- 1760721 cpu_core_1 "11.76470588235294".
- 1763243 cpu_core_1 "11.76470588235294".
- 1767254 cpu_core_1 "11.76470588235294".
- 1767629 cpu_core_1 "11.76470588235294".
- 1768165 cpu_core_1 "11.76470588235294".
- 1768596 cpu_core_1 "11.76470588235294".
- 1768682 cpu_core_1 "11.76470588235294".
- 1768759 cpu_core_1 "11.76470588235294".
- 1768781 cpu_core_1 "11.76470588235294".
- 1769004 cpu_core_1 "11.76470588235294".
- 1770586 cpu_core_1 "11.76470588235294".
- 1770629 cpu_core_1 "11.76470588235294".
- 1771724 cpu_core_1 "11.76470588235294".
- 1774911 cpu_core_1 "11.76470588235294".
- 1775567 cpu_core_1 "11.76470588235294".
- 1775803 cpu_core_1 "11.76470588235294".
- 1775866 cpu_core_1 "11.76470588235294".
- 1778161 cpu_core_1 "11.76470588235294".
- 1778823 cpu_core_1 "11.76470588235294".
- 1779186 cpu_core_1 "11.76470588235294".
- 1782645 cpu_core_1 "11.76470588235294".
- 1783864 cpu_core_1 "11.76470588235294".
- 1784893 cpu_core_1 "11.76470588235294".
- 1785918 cpu_core_1 "11.76470588235294".
- 1786689 cpu_core_1 "11.76470588235294".
- 1787818 cpu_core_1 "11.76470588235294".
- 1788394 cpu_core_1 "11.76470588235294".
- 1788696 cpu_core_1 "11.76470588235294".
- 1788751 cpu_core_1 "11.76470588235294".
- 1789800 cpu_core_1 "11.76470588235294".
- 1790608 cpu_core_1 "11.76470588235294".
- 1792075 cpu_core_1 "11.76470588235294".
- 1792486 cpu_core_1 "11.76470588235294".
- 1792524 cpu_core_1 "11.76470588235294".
- 1792657 cpu_core_1 "11.76470588235294".
- 1793711 cpu_core_1 "11.76470588235294".
- 1794114 cpu_core_1 "11.76470588235294".
- 1794340 cpu_core_1 "11.76470588235294".
- 1795265 cpu_core_1 "11.76470588235294".
- 1796497 cpu_core_1 "11.76470588235294".
- 1797304 cpu_core_1 "11.76470588235294".
- 1798504 cpu_core_1 "11.76470588235294".
- 1798737 cpu_core_1 "11.76470588235294".
- 1799078 cpu_core_1 "11.76470588235294".
- 1799652 cpu_core_1 "11.76470588235294".
- 1799666 cpu_core_1 "11.76470588235294".
- 1800405 cpu_core_1 "11.76470588235294".
- 1800897 cpu_core_1 "11.76470588235294".
- 1801363 cpu_core_1 "11.76470588235294".
- 1802046 cpu_core_1 "11.76470588235294".
- 1802484 cpu_core_1 "11.76470588235294".
- 1802573 cpu_core_1 "11.76470588235294".
- 1804283 cpu_core_1 "11.76470588235294".
- 1804327 cpu_core_1 "11.76470588235294".
- 1807630 cpu_core_1 "11.76470588235294".
- 1808289 cpu_core_1 "11.76470588235294".
- 1809486 cpu_core_1 "11.76470588235294".