Matches in ISWC2014 Benchmark for { ?s ?p 11.76470588235294. }
- 1813293 cpu_core_3 "11.76470588235294".
- 1813673 cpu_core_3 "11.76470588235294".
- 1814789 cpu_core_3 "11.76470588235294".
- 1814914 cpu_core_3 "11.76470588235294".
- 1815672 cpu_core_3 "11.76470588235294".
- 1817431 cpu_core_3 "11.76470588235294".
- 1819200 cpu_core_3 "11.76470588235294".
- 1819993 cpu_core_3 "11.76470588235294".
- 1820152 cpu_core_3 "11.76470588235294".
- 1820319 cpu_core_3 "11.76470588235294".
- 1823198 cpu_core_3 "11.76470588235294".
- 1823555 cpu_core_3 "11.76470588235294".
- 1827633 cpu_core_3 "11.76470588235294".
- 1829852 cpu_core_3 "11.76470588235294".
- 1830449 cpu_core_3 "11.76470588235294".
- 1830713 cpu_core_3 "11.76470588235294".
- 1831559 cpu_core_3 "11.76470588235294".
- 1834666 cpu_core_3 "11.76470588235294".
- 1836061 cpu_core_3 "11.76470588235294".
- 1837917 cpu_core_3 "11.76470588235294".
- 1840099 cpu_core_3 "11.76470588235294".
- 1842042 cpu_core_3 "11.76470588235294".
- 1842157 cpu_core_3 "11.76470588235294".
- 1842815 cpu_core_3 "11.76470588235294".
- 1845858 cpu_core_3 "11.76470588235294".
- 1846177 cpu_core_3 "11.76470588235294".
- 1847700 cpu_core_3 "11.76470588235294".
- 1848867 cpu_core_3 "11.76470588235294".
- 1849906 cpu_core_3 "11.76470588235294".
- 1850949 cpu_core_3 "11.76470588235294".
- 1853535 cpu_core_3 "11.76470588235294".
- 1854053 cpu_core_3 "11.76470588235294".
- 1854361 cpu_core_3 "11.76470588235294".
- 1854502 cpu_core_3 "11.76470588235294".
- 1860352 cpu_core_3 "11.76470588235294".
- 1860423 cpu_core_3 "11.76470588235294".
- 1865339 cpu_core_3 "11.76470588235294".
- 1866599 cpu_core_3 "11.76470588235294".
- 1870330 cpu_core_3 "11.76470588235294".
- 1873681 cpu_core_3 "11.76470588235294".
- 1874144 cpu_core_3 "11.76470588235294".
- 1874377 cpu_core_3 "11.76470588235294".
- 1877296 cpu_core_3 "11.76470588235294".
- 1878484 cpu_core_3 "11.76470588235294".
- 1880387 cpu_core_3 "11.76470588235294".
- 1887751 cpu_core_3 "11.76470588235294".
- 1888353 cpu_core_3 "11.76470588235294".
- 1888947 cpu_core_3 "11.76470588235294".
- 1890252 cpu_core_3 "11.76470588235294".
- 1893133 cpu_core_3 "11.76470588235294".
- 1897086 cpu_core_3 "11.76470588235294".
- 1898389 cpu_core_3 "11.76470588235294".
- 1899467 cpu_core_3 "11.76470588235294".
- 1901036 cpu_core_3 "11.76470588235294".
- 1902405 cpu_core_3 "11.76470588235294".
- 1902685 cpu_core_3 "11.76470588235294".
- 1903019 cpu_core_3 "11.76470588235294".
- 1903246 cpu_core_3 "11.76470588235294".
- 1906212 cpu_core_3 "11.76470588235294".
- 1907004 cpu_core_3 "11.76470588235294".
- 1909098 cpu_core_3 "11.76470588235294".
- 1909414 cpu_core_3 "11.76470588235294".
- 1909666 cpu_core_3 "11.76470588235294".
- 1910854 cpu_core_3 "11.76470588235294".
- 1910874 cpu_core_3 "11.76470588235294".
- 1911619 cpu_core_3 "11.76470588235294".
- 1916896 cpu_core_3 "11.76470588235294".
- 1919300 cpu_core_3 "11.76470588235294".
- 1920672 cpu_core_3 "11.76470588235294".
- 2068158 cpu_core_3 "11.76470588235294".
- 220580 cpu_core_3 "11.76470588235294".
- 236929 cpu_core_3 "11.76470588235294".
- 247677 cpu_core_3 "11.76470588235294".
- 256729 cpu_core_3 "11.76470588235294".
- 259201 cpu_core_3 "11.76470588235294".
- 259913 cpu_core_3 "11.76470588235294".
- 260689 cpu_core_3 "11.76470588235294".
- 267380 cpu_core_3 "11.76470588235294".
- 279814 cpu_core_3 "11.76470588235294".
- 287708 cpu_core_3 "11.76470588235294".
- 315718 cpu_core_3 "11.76470588235294".
- 317944 cpu_core_3 "11.76470588235294".
- 319475 cpu_core_3 "11.76470588235294".
- 339193 cpu_core_3 "11.76470588235294".
- 341623 cpu_core_3 "11.76470588235294".
- 342875 cpu_core_3 "11.76470588235294".
- 348682 cpu_core_3 "11.76470588235294".
- 357557 cpu_core_3 "11.76470588235294".
- 370942 cpu_core_3 "11.76470588235294".
- 402406 cpu_core_3 "11.76470588235294".
- 407009 cpu_core_3 "11.76470588235294".
- 468166 cpu_core_3 "11.76470588235294".
- 513717 cpu_core_3 "11.76470588235294".
- 515982 cpu_core_3 "11.76470588235294".
- 516803 cpu_core_3 "11.76470588235294".
- 597963 cpu_core_3 "11.76470588235294".
- 601527 cpu_core_3 "11.76470588235294".
- 601717 cpu_core_3 "11.76470588235294".
- 602624 cpu_core_3 "11.76470588235294".
- 621811 cpu_core_3 "11.76470588235294".