Matches in ISWC2014 Benchmark for { ?s ?p 11.76470588235294. }
- 1768366 cpu_core_0 "11.76470588235294".
- 1769006 cpu_core_0 "11.76470588235294".
- 1769045 cpu_core_0 "11.76470588235294".
- 1769964 cpu_core_0 "11.76470588235294".
- 1770674 cpu_core_0 "11.76470588235294".
- 1770833 cpu_core_0 "11.76470588235294".
- 1771420 cpu_core_0 "11.76470588235294".
- 1771882 cpu_core_0 "11.76470588235294".
- 1773456 cpu_core_0 "11.76470588235294".
- 1774843 cpu_core_0 "11.76470588235294".
- 1775170 cpu_core_0 "11.76470588235294".
- 1775291 cpu_core_0 "11.76470588235294".
- 1775320 cpu_core_0 "11.76470588235294".
- 1775656 cpu_core_0 "11.76470588235294".
- 1775753 cpu_core_0 "11.76470588235294".
- 1776390 cpu_core_0 "11.76470588235294".
- 1776653 cpu_core_0 "11.76470588235294".
- 1777560 cpu_core_0 "11.76470588235294".
- 1779767 cpu_core_0 "11.76470588235294".
- 1779978 cpu_core_0 "11.76470588235294".
- 1780099 cpu_core_0 "11.76470588235294".
- 1781493 cpu_core_0 "11.76470588235294".
- 1781782 cpu_core_0 "11.76470588235294".
- 1781957 cpu_core_0 "11.76470588235294".
- 1782215 cpu_core_0 "11.76470588235294".
- 1782549 cpu_core_0 "11.76470588235294".
- 1783017 cpu_core_0 "11.76470588235294".
- 1785550 cpu_core_0 "11.76470588235294".
- 1785588 cpu_core_0 "11.76470588235294".
- 1785796 cpu_core_0 "11.76470588235294".
- 1786178 cpu_core_0 "11.76470588235294".
- 1786794 cpu_core_0 "11.76470588235294".
- 1787057 cpu_core_0 "11.76470588235294".
- 1788442 cpu_core_0 "11.76470588235294".
- 1788594 cpu_core_0 "11.76470588235294".
- 1788749 cpu_core_0 "11.76470588235294".
- 1788918 cpu_core_0 "11.76470588235294".
- 1789082 cpu_core_0 "11.76470588235294".
- 1790787 cpu_core_0 "11.76470588235294".
- 1791667 cpu_core_0 "11.76470588235294".
- 1791761 cpu_core_0 "11.76470588235294".
- 1792395 cpu_core_0 "11.76470588235294".
- 1792963 cpu_core_0 "11.76470588235294".
- 1793229 cpu_core_0 "11.76470588235294".
- 1793472 cpu_core_0 "11.76470588235294".
- 1793702 cpu_core_0 "11.76470588235294".
- 1793745 cpu_core_0 "11.76470588235294".
- 1793759 cpu_core_0 "11.76470588235294".
- 1793915 cpu_core_0 "11.76470588235294".
- 1794174 cpu_core_0 "11.76470588235294".
- 1795892 cpu_core_0 "11.76470588235294".
- 1795996 cpu_core_0 "11.76470588235294".
- 1796159 cpu_core_0 "11.76470588235294".
- 1797486 cpu_core_0 "11.76470588235294".
- 1798378 cpu_core_0 "11.76470588235294".
- 1798396 cpu_core_0 "11.76470588235294".
- 1798956 cpu_core_0 "11.76470588235294".
- 1799079 cpu_core_0 "11.76470588235294".
- 1799567 cpu_core_0 "11.76470588235294".
- 1799764 cpu_core_0 "11.76470588235294".
- 1800481 cpu_core_0 "11.76470588235294".
- 1801236 cpu_core_0 "11.76470588235294".
- 1801584 cpu_core_0 "11.76470588235294".
- 1801645 cpu_core_0 "11.76470588235294".
- 1803389 cpu_core_0 "11.76470588235294".
- 1803729 cpu_core_0 "11.76470588235294".
- 1803936 cpu_core_0 "11.76470588235294".
- 1804471 cpu_core_0 "11.76470588235294".
- 1804678 cpu_core_0 "11.76470588235294".
- 1804850 cpu_core_0 "11.76470588235294".
- 1805521 cpu_core_0 "11.76470588235294".
- 1805810 cpu_core_0 "11.76470588235294".
- 1806239 cpu_core_0 "11.76470588235294".
- 1807056 cpu_core_0 "11.76470588235294".
- 1807914 cpu_core_0 "11.76470588235294".
- 1808403 cpu_core_0 "11.76470588235294".
- 1808993 cpu_core_0 "11.76470588235294".
- 1809031 cpu_core_0 "11.76470588235294".
- 1809492 cpu_core_0 "11.76470588235294".
- 1809950 cpu_core_0 "11.76470588235294".
- 1810875 cpu_core_0 "11.76470588235294".
- 1811771 cpu_core_0 "11.76470588235294".
- 1811895 cpu_core_0 "11.76470588235294".
- 1812974 cpu_core_0 "11.76470588235294".
- 1813106 cpu_core_0 "11.76470588235294".
- 1813876 cpu_core_0 "11.76470588235294".
- 1814155 cpu_core_0 "11.76470588235294".
- 1814889 cpu_core_0 "11.76470588235294".
- 1816054 cpu_core_0 "11.76470588235294".
- 1816495 cpu_core_0 "11.76470588235294".
- 1817031 cpu_core_0 "11.76470588235294".
- 1817943 cpu_core_0 "11.76470588235294".
- 1818919 cpu_core_0 "11.76470588235294".
- 1819330 cpu_core_0 "11.76470588235294".
- 1819351 cpu_core_0 "11.76470588235294".
- 1819712 cpu_core_0 "11.76470588235294".
- 1820327 cpu_core_0 "11.76470588235294".
- 1821721 cpu_core_0 "11.76470588235294".
- 1821806 cpu_core_0 "11.76470588235294".
- 1822855 cpu_core_0 "11.76470588235294".