Matches in ISWC2014 Benchmark for { ?s ?p 11.76470588235294. }
- 1809828 cpu_core_1 "11.76470588235294".
- 1812203 cpu_core_1 "11.76470588235294".
- 1812683 cpu_core_1 "11.76470588235294".
- 1812866 cpu_core_1 "11.76470588235294".
- 1814901 cpu_core_1 "11.76470588235294".
- 1815818 cpu_core_1 "11.76470588235294".
- 1815878 cpu_core_1 "11.76470588235294".
- 1815956 cpu_core_1 "11.76470588235294".
- 1816311 cpu_core_1 "11.76470588235294".
- 1817068 cpu_core_1 "11.76470588235294".
- 1817149 cpu_core_1 "11.76470588235294".
- 1817231 cpu_core_1 "11.76470588235294".
- 1821185 cpu_core_1 "11.76470588235294".
- 1824174 cpu_core_1 "11.76470588235294".
- 1824991 cpu_core_1 "11.76470588235294".
- 1825347 cpu_core_1 "11.76470588235294".
- 1825736 cpu_core_1 "11.76470588235294".
- 1825766 cpu_core_1 "11.76470588235294".
- 1826707 cpu_core_1 "11.76470588235294".
- 1827033 cpu_core_1 "11.76470588235294".
- 1827191 cpu_core_1 "11.76470588235294".
- 1827903 cpu_core_1 "11.76470588235294".
- 1828647 cpu_core_1 "11.76470588235294".
- 1829079 cpu_core_1 "11.76470588235294".
- 1829858 cpu_core_1 "11.76470588235294".
- 1830027 cpu_core_1 "11.76470588235294".
- 1830337 cpu_core_1 "11.76470588235294".
- 1830744 cpu_core_1 "11.76470588235294".
- 1833098 cpu_core_1 "11.76470588235294".
- 1833400 cpu_core_1 "11.76470588235294".
- 1834989 cpu_core_1 "11.76470588235294".
- 1836254 cpu_core_1 "11.76470588235294".
- 1836385 cpu_core_1 "11.76470588235294".
- 1837509 cpu_core_1 "11.76470588235294".
- 1837917 cpu_core_1 "11.76470588235294".
- 1838715 cpu_core_1 "11.76470588235294".
- 1839068 cpu_core_1 "11.76470588235294".
- 1839798 cpu_core_1 "11.76470588235294".
- 1840801 cpu_core_1 "11.76470588235294".
- 1842123 cpu_core_1 "11.76470588235294".
- 1842419 cpu_core_1 "11.76470588235294".
- 1842461 cpu_core_1 "11.76470588235294".
- 1842500 cpu_core_1 "11.76470588235294".
- 1843410 cpu_core_1 "11.76470588235294".
- 1844464 cpu_core_1 "11.76470588235294".
- 1844568 cpu_core_1 "11.76470588235294".
- 1845820 cpu_core_1 "11.76470588235294".
- 1848761 cpu_core_1 "11.76470588235294".
- 1849521 cpu_core_1 "11.76470588235294".
- 1850003 cpu_core_1 "11.76470588235294".
- 1850994 cpu_core_1 "11.76470588235294".
- 1854262 cpu_core_1 "11.76470588235294".
- 1855015 cpu_core_1 "11.76470588235294".
- 1855748 cpu_core_1 "11.76470588235294".
- 1855806 cpu_core_1 "11.76470588235294".
- 1856791 cpu_core_1 "11.76470588235294".
- 1857224 cpu_core_1 "11.76470588235294".
- 1858121 cpu_core_1 "11.76470588235294".
- 1858306 cpu_core_1 "11.76470588235294".
- 1858668 cpu_core_1 "11.76470588235294".
- 1858800 cpu_core_1 "11.76470588235294".
- 1858832 cpu_core_1 "11.76470588235294".
- 1859407 cpu_core_1 "11.76470588235294".
- 1862275 cpu_core_1 "11.76470588235294".
- 1862445 cpu_core_1 "11.76470588235294".
- 1867996 cpu_core_1 "11.76470588235294".
- 1870461 cpu_core_1 "11.76470588235294".
- 1870779 cpu_core_1 "11.76470588235294".
- 1870937 cpu_core_1 "11.76470588235294".
- 1872121 cpu_core_1 "11.76470588235294".
- 1872845 cpu_core_1 "11.76470588235294".
- 1872979 cpu_core_1 "11.76470588235294".
- 1874147 cpu_core_1 "11.76470588235294".
- 1875363 cpu_core_1 "11.76470588235294".
- 1875596 cpu_core_1 "11.76470588235294".
- 1876187 cpu_core_1 "11.76470588235294".
- 1877026 cpu_core_1 "11.76470588235294".
- 1879144 cpu_core_1 "11.76470588235294".
- 1879561 cpu_core_1 "11.76470588235294".
- 1879914 cpu_core_1 "11.76470588235294".
- 1880008 cpu_core_1 "11.76470588235294".
- 1881617 cpu_core_1 "11.76470588235294".
- 1881809 cpu_core_1 "11.76470588235294".
- 1885014 cpu_core_1 "11.76470588235294".
- 1886637 cpu_core_1 "11.76470588235294".
- 1887745 cpu_core_1 "11.76470588235294".
- 1888100 cpu_core_1 "11.76470588235294".
- 1889274 cpu_core_1 "11.76470588235294".
- 1889545 cpu_core_1 "11.76470588235294".
- 1890455 cpu_core_1 "11.76470588235294".
- 1891078 cpu_core_1 "11.76470588235294".
- 1892412 cpu_core_1 "11.76470588235294".
- 1892931 cpu_core_1 "11.76470588235294".
- 1893039 cpu_core_1 "11.76470588235294".
- 1893446 cpu_core_1 "11.76470588235294".
- 1893791 cpu_core_1 "11.76470588235294".
- 1894340 cpu_core_1 "11.76470588235294".
- 1895433 cpu_core_1 "11.76470588235294".
- 1896848 cpu_core_1 "11.76470588235294".
- 1897158 cpu_core_1 "11.76470588235294".