Matches in ISWC2014 Benchmark for { ?s ?p 11.76470588235294. }
- 1870738 cpu_core_0 "11.76470588235294".
- 1870935 cpu_core_0 "11.76470588235294".
- 1871483 cpu_core_0 "11.76470588235294".
- 1873584 cpu_core_0 "11.76470588235294".
- 1874013 cpu_core_0 "11.76470588235294".
- 1874096 cpu_core_0 "11.76470588235294".
- 1874758 cpu_core_0 "11.76470588235294".
- 1875741 cpu_core_0 "11.76470588235294".
- 1875974 cpu_core_0 "11.76470588235294".
- 1876171 cpu_core_0 "11.76470588235294".
- 1876228 cpu_core_0 "11.76470588235294".
- 1876658 cpu_core_0 "11.76470588235294".
- 1876683 cpu_core_0 "11.76470588235294".
- 1876900 cpu_core_0 "11.76470588235294".
- 1878229 cpu_core_0 "11.76470588235294".
- 1878287 cpu_core_0 "11.76470588235294".
- 1878418 cpu_core_0 "11.76470588235294".
- 1878552 cpu_core_0 "11.76470588235294".
- 1878650 cpu_core_0 "11.76470588235294".
- 1879307 cpu_core_0 "11.76470588235294".
- 1879523 cpu_core_0 "11.76470588235294".
- 1879768 cpu_core_0 "11.76470588235294".
- 1880077 cpu_core_0 "11.76470588235294".
- 1880379 cpu_core_0 "11.76470588235294".
- 1880761 cpu_core_0 "11.76470588235294".
- 1881429 cpu_core_0 "11.76470588235294".
- 1881451 cpu_core_0 "11.76470588235294".
- 1881811 cpu_core_0 "11.76470588235294".
- 1882338 cpu_core_0 "11.76470588235294".
- 1882425 cpu_core_0 "11.76470588235294".
- 1882690 cpu_core_0 "11.76470588235294".
- 1882744 cpu_core_0 "11.76470588235294".
- 1882913 cpu_core_0 "11.76470588235294".
- 1882922 cpu_core_0 "11.76470588235294".
- 1883029 cpu_core_0 "11.76470588235294".
- 1884361 cpu_core_0 "11.76470588235294".
- 1884746 cpu_core_0 "11.76470588235294".
- 1884903 cpu_core_0 "11.76470588235294".
- 1885413 cpu_core_0 "11.76470588235294".
- 1885508 cpu_core_0 "11.76470588235294".
- 1885797 cpu_core_0 "11.76470588235294".
- 1885888 cpu_core_0 "11.76470588235294".
- 1886616 cpu_core_0 "11.76470588235294".
- 1886907 cpu_core_0 "11.76470588235294".
- 1887098 cpu_core_0 "11.76470588235294".
- 1887441 cpu_core_0 "11.76470588235294".
- 1887898 cpu_core_0 "11.76470588235294".
- 1888472 cpu_core_0 "11.76470588235294".
- 1889919 cpu_core_0 "11.76470588235294".
- 1890019 cpu_core_0 "11.76470588235294".
- 1890613 cpu_core_0 "11.76470588235294".
- 1890743 cpu_core_0 "11.76470588235294".
- 1890967 cpu_core_0 "11.76470588235294".
- 1891226 cpu_core_0 "11.76470588235294".
- 1891346 cpu_core_0 "11.76470588235294".
- 1891488 cpu_core_0 "11.76470588235294".
- 1891711 cpu_core_0 "11.76470588235294".
- 1893042 cpu_core_0 "11.76470588235294".
- 1893743 cpu_core_0 "11.76470588235294".
- 1893940 cpu_core_0 "11.76470588235294".
- 1894035 cpu_core_0 "11.76470588235294".
- 1894383 cpu_core_0 "11.76470588235294".
- 1894589 cpu_core_0 "11.76470588235294".
- 1894669 cpu_core_0 "11.76470588235294".
- 1894783 cpu_core_0 "11.76470588235294".
- 1896232 cpu_core_0 "11.76470588235294".
- 1896483 cpu_core_0 "11.76470588235294".
- 1896643 cpu_core_0 "11.76470588235294".
- 1896877 cpu_core_0 "11.76470588235294".
- 1896881 cpu_core_0 "11.76470588235294".
- 1897365 cpu_core_0 "11.76470588235294".
- 1897811 cpu_core_0 "11.76470588235294".
- 1898124 cpu_core_0 "11.76470588235294".
- 1898318 cpu_core_0 "11.76470588235294".
- 1898602 cpu_core_0 "11.76470588235294".
- 1899139 cpu_core_0 "11.76470588235294".
- 1899351 cpu_core_0 "11.76470588235294".
- 1899749 cpu_core_0 "11.76470588235294".
- 1900964 cpu_core_0 "11.76470588235294".
- 1901556 cpu_core_0 "11.76470588235294".
- 1901656 cpu_core_0 "11.76470588235294".
- 1902069 cpu_core_0 "11.76470588235294".
- 1902196 cpu_core_0 "11.76470588235294".
- 1902377 cpu_core_0 "11.76470588235294".
- 1902388 cpu_core_0 "11.76470588235294".
- 1902433 cpu_core_0 "11.76470588235294".
- 1903348 cpu_core_0 "11.76470588235294".
- 1904112 cpu_core_0 "11.76470588235294".
- 1904154 cpu_core_0 "11.76470588235294".
- 1904469 cpu_core_0 "11.76470588235294".
- 1904903 cpu_core_0 "11.76470588235294".
- 1906082 cpu_core_0 "11.76470588235294".
- 1906339 cpu_core_0 "11.76470588235294".
- 1906520 cpu_core_0 "11.76470588235294".
- 1907306 cpu_core_0 "11.76470588235294".
- 1907441 cpu_core_0 "11.76470588235294".
- 1908738 cpu_core_0 "11.76470588235294".
- 1908804 cpu_core_0 "11.76470588235294".
- 1908840 cpu_core_0 "11.76470588235294".
- 1909668 cpu_core_0 "11.76470588235294".