Matches in ISWC2014 Benchmark for { ?s ?p 13.72549019607843. }
- 1762875 cpu_core_0 "13.72549019607843".
- 1763072 cpu_core_0 "13.72549019607843".
- 1764119 cpu_core_0 "13.72549019607843".
- 1764198 cpu_core_0 "13.72549019607843".
- 1764803 cpu_core_0 "13.72549019607843".
- 1768765 cpu_core_0 "13.72549019607843".
- 1769578 cpu_core_0 "13.72549019607843".
- 1779959 cpu_core_0 "13.72549019607843".
- 1781046 cpu_core_0 "13.72549019607843".
- 1781672 cpu_core_0 "13.72549019607843".
- 1781814 cpu_core_0 "13.72549019607843".
- 1782280 cpu_core_0 "13.72549019607843".
- 1784427 cpu_core_0 "13.72549019607843".
- 1784986 cpu_core_0 "13.72549019607843".
- 1788737 cpu_core_0 "13.72549019607843".
- 1791939 cpu_core_0 "13.72549019607843".
- 1793354 cpu_core_0 "13.72549019607843".
- 1794573 cpu_core_0 "13.72549019607843".
- 1798988 cpu_core_0 "13.72549019607843".
- 1805849 cpu_core_0 "13.72549019607843".
- 1810206 cpu_core_0 "13.72549019607843".
- 1814979 cpu_core_0 "13.72549019607843".
- 1816607 cpu_core_0 "13.72549019607843".
- 1818190 cpu_core_0 "13.72549019607843".
- 1819504 cpu_core_0 "13.72549019607843".
- 1820078 cpu_core_0 "13.72549019607843".
- 1822158 cpu_core_0 "13.72549019607843".
- 1828854 cpu_core_0 "13.72549019607843".
- 1831538 cpu_core_0 "13.72549019607843".
- 1831712 cpu_core_0 "13.72549019607843".
- 1832132 cpu_core_0 "13.72549019607843".
- 1832993 cpu_core_0 "13.72549019607843".
- 1835359 cpu_core_0 "13.72549019607843".
- 1835669 cpu_core_0 "13.72549019607843".
- 1836958 cpu_core_0 "13.72549019607843".
- 1837189 cpu_core_0 "13.72549019607843".
- 1841445 cpu_core_0 "13.72549019607843".
- 1841598 cpu_core_0 "13.72549019607843".
- 1842110 cpu_core_0 "13.72549019607843".
- 1846300 cpu_core_0 "13.72549019607843".
- 1847139 cpu_core_0 "13.72549019607843".
- 1847416 cpu_core_0 "13.72549019607843".
- 1849670 cpu_core_0 "13.72549019607843".
- 1856446 cpu_core_0 "13.72549019607843".
- 1858318 cpu_core_0 "13.72549019607843".
- 1869065 cpu_core_0 "13.72549019607843".
- 1870050 cpu_core_0 "13.72549019607843".
- 1870694 cpu_core_0 "13.72549019607843".
- 1875281 cpu_core_0 "13.72549019607843".
- 1876233 cpu_core_0 "13.72549019607843".
- 1884973 cpu_core_0 "13.72549019607843".
- 1885650 cpu_core_0 "13.72549019607843".
- 1894049 cpu_core_0 "13.72549019607843".
- 1894762 cpu_core_0 "13.72549019607843".
- 1894963 cpu_core_0 "13.72549019607843".
- 1897785 cpu_core_0 "13.72549019607843".
- 1900448 cpu_core_0 "13.72549019607843".
- 1902517 cpu_core_0 "13.72549019607843".
- 1903697 cpu_core_0 "13.72549019607843".
- 1903914 cpu_core_0 "13.72549019607843".
- 1910065 cpu_core_0 "13.72549019607843".
- 1910353 cpu_core_0 "13.72549019607843".
- 1910671 cpu_core_0 "13.72549019607843".
- 1919544 cpu_core_0 "13.72549019607843".
- 1920174 cpu_core_0 "13.72549019607843".
- 1921331 cpu_core_0 "13.72549019607843".
- 1921515 cpu_core_0 "13.72549019607843".
- 1921526 cpu_core_0 "13.72549019607843".
- 1922084 cpu_core_0 "13.72549019607843".
- 1922652 cpu_core_0 "13.72549019607843".
- 1922912 cpu_core_0 "13.72549019607843".
- 1923653 cpu_core_0 "13.72549019607843".
- 1923751 cpu_core_0 "13.72549019607843".
- 1923903 cpu_core_0 "13.72549019607843".
- 1924398 cpu_core_0 "13.72549019607843".
- 1925471 cpu_core_0 "13.72549019607843".
- 1926958 cpu_core_0 "13.72549019607843".
- 2074676 cpu_core_0 "13.72549019607843".
- 221542 cpu_core_0 "13.72549019607843".
- 235806 cpu_core_0 "13.72549019607843".
- 238558 cpu_core_0 "13.72549019607843".
- 296084 cpu_core_0 "13.72549019607843".
- 306847 cpu_core_0 "13.72549019607843".
- 310316 cpu_core_0 "13.72549019607843".
- 315373 cpu_core_0 "13.72549019607843".
- 327183 cpu_core_0 "13.72549019607843".
- 329089 cpu_core_0 "13.72549019607843".
- 329837 cpu_core_0 "13.72549019607843".
- 336040 cpu_core_0 "13.72549019607843".
- 362817 cpu_core_0 "13.72549019607843".
- 363542 cpu_core_0 "13.72549019607843".
- 363564 cpu_core_0 "13.72549019607843".
- 418122 cpu_core_0 "13.72549019607843".
- 429542 cpu_core_0 "13.72549019607843".
- 429795 cpu_core_0 "13.72549019607843".
- 429963 cpu_core_0 "13.72549019607843".
- 430539 cpu_core_0 "13.72549019607843".
- 431260 cpu_core_0 "13.72549019607843".
- 431383 cpu_core_0 "13.72549019607843".
- 434511 cpu_core_0 "13.72549019607843".