Matches in ISWC2014 Benchmark for { ?s ?p 3.061224489795918. }
- 1806020 cpu_core_0 "3.061224489795918".
- 1806607 cpu_core_0 "3.061224489795918".
- 1807019 cpu_core_0 "3.061224489795918".
- 1807051 cpu_core_0 "3.061224489795918".
- 1807239 cpu_core_0 "3.061224489795918".
- 1807653 cpu_core_0 "3.061224489795918".
- 1808262 cpu_core_0 "3.061224489795918".
- 1808376 cpu_core_0 "3.061224489795918".
- 1808550 cpu_core_0 "3.061224489795918".
- 1809186 cpu_core_0 "3.061224489795918".
- 1809317 cpu_core_0 "3.061224489795918".
- 1811695 cpu_core_0 "3.061224489795918".
- 1813527 cpu_core_0 "3.061224489795918".
- 1813602 cpu_core_0 "3.061224489795918".
- 1814579 cpu_core_0 "3.061224489795918".
- 1815180 cpu_core_0 "3.061224489795918".
- 1815445 cpu_core_0 "3.061224489795918".
- 1815525 cpu_core_0 "3.061224489795918".
- 1816988 cpu_core_0 "3.061224489795918".
- 1817570 cpu_core_0 "3.061224489795918".
- 1820314 cpu_core_0 "3.061224489795918".
- 1820324 cpu_core_0 "3.061224489795918".
- 1823985 cpu_core_0 "3.061224489795918".
- 1824111 cpu_core_0 "3.061224489795918".
- 1824492 cpu_core_0 "3.061224489795918".
- 1825116 cpu_core_0 "3.061224489795918".
- 1826936 cpu_core_0 "3.061224489795918".
- 1829962 cpu_core_0 "3.061224489795918".
- 1830524 cpu_core_0 "3.061224489795918".
- 1830526 cpu_core_0 "3.061224489795918".
- 1831076 cpu_core_0 "3.061224489795918".
- 1831281 cpu_core_0 "3.061224489795918".
- 1832467 cpu_core_0 "3.061224489795918".
- 1833565 cpu_core_0 "3.061224489795918".
- 1834056 cpu_core_0 "3.061224489795918".
- 1834113 cpu_core_0 "3.061224489795918".
- 1835087 cpu_core_0 "3.061224489795918".
- 1837088 cpu_core_0 "3.061224489795918".
- 1837124 cpu_core_0 "3.061224489795918".
- 1837144 cpu_core_0 "3.061224489795918".
- 1839423 cpu_core_0 "3.061224489795918".
- 1839468 cpu_core_0 "3.061224489795918".
- 1839664 cpu_core_0 "3.061224489795918".
- 1840937 cpu_core_0 "3.061224489795918".
- 1841166 cpu_core_0 "3.061224489795918".
- 1842953 cpu_core_0 "3.061224489795918".
- 1843209 cpu_core_0 "3.061224489795918".
- 1844610 cpu_core_0 "3.061224489795918".
- 1853318 cpu_core_0 "3.061224489795918".
- 1853470 cpu_core_0 "3.061224489795918".
- 1854113 cpu_core_0 "3.061224489795918".
- 1854579 cpu_core_0 "3.061224489795918".
- 1855208 cpu_core_0 "3.061224489795918".
- 1859709 cpu_core_0 "3.061224489795918".
- 1860430 cpu_core_0 "3.061224489795918".
- 1860914 cpu_core_0 "3.061224489795918".
- 1861167 cpu_core_0 "3.061224489795918".
- 1861243 cpu_core_0 "3.061224489795918".
- 1861295 cpu_core_0 "3.061224489795918".
- 1862227 cpu_core_0 "3.061224489795918".
- 1862859 cpu_core_0 "3.061224489795918".
- 1863363 cpu_core_0 "3.061224489795918".
- 1863462 cpu_core_0 "3.061224489795918".
- 1864401 cpu_core_0 "3.061224489795918".
- 1864556 cpu_core_0 "3.061224489795918".
- 1865142 cpu_core_0 "3.061224489795918".
- 1866146 cpu_core_0 "3.061224489795918".
- 1866249 cpu_core_0 "3.061224489795918".
- 1866308 cpu_core_0 "3.061224489795918".
- 1866326 cpu_core_0 "3.061224489795918".
- 1866502 cpu_core_0 "3.061224489795918".
- 1866522 cpu_core_0 "3.061224489795918".
- 1867430 cpu_core_0 "3.061224489795918".
- 1867612 cpu_core_0 "3.061224489795918".
- 1869431 cpu_core_0 "3.061224489795918".
- 1869955 cpu_core_0 "3.061224489795918".
- 1870116 cpu_core_0 "3.061224489795918".
- 1870956 cpu_core_0 "3.061224489795918".
- 1871022 cpu_core_0 "3.061224489795918".
- 1876297 cpu_core_0 "3.061224489795918".
- 1877344 cpu_core_0 "3.061224489795918".
- 1877372 cpu_core_0 "3.061224489795918".
- 1877561 cpu_core_0 "3.061224489795918".
- 1878587 cpu_core_0 "3.061224489795918".
- 1878850 cpu_core_0 "3.061224489795918".
- 1882034 cpu_core_0 "3.061224489795918".
- 1882603 cpu_core_0 "3.061224489795918".
- 1883962 cpu_core_0 "3.061224489795918".
- 1884223 cpu_core_0 "3.061224489795918".
- 1887423 cpu_core_0 "3.061224489795918".
- 1888792 cpu_core_0 "3.061224489795918".
- 1889257 cpu_core_0 "3.061224489795918".
- 1889903 cpu_core_0 "3.061224489795918".
- 1891719 cpu_core_0 "3.061224489795918".
- 1892305 cpu_core_0 "3.061224489795918".
- 1894749 cpu_core_0 "3.061224489795918".
- 1897293 cpu_core_0 "3.061224489795918".
- 1898140 cpu_core_0 "3.061224489795918".
- 1898782 cpu_core_0 "3.061224489795918".
- 1900160 cpu_core_0 "3.061224489795918".