Matches in ISWC2014 Benchmark for { ?s ?p 12.745098039215685. }
- 1860609 cpu_core_0 "12.745098039215685".
- 1861362 cpu_core_0 "12.745098039215685".
- 1861387 cpu_core_0 "12.745098039215685".
- 1861548 cpu_core_0 "12.745098039215685".
- 1862391 cpu_core_0 "12.745098039215685".
- 1863012 cpu_core_0 "12.745098039215685".
- 1863413 cpu_core_0 "12.745098039215685".
- 1865510 cpu_core_0 "12.745098039215685".
- 1867215 cpu_core_0 "12.745098039215685".
- 1868275 cpu_core_0 "12.745098039215685".
- 1869096 cpu_core_0 "12.745098039215685".
- 1869419 cpu_core_0 "12.745098039215685".
- 1871186 cpu_core_0 "12.745098039215685".
- 1871197 cpu_core_0 "12.745098039215685".
- 1871703 cpu_core_0 "12.745098039215685".
- 1871851 cpu_core_0 "12.745098039215685".
- 1872202 cpu_core_0 "12.745098039215685".
- 1872643 cpu_core_0 "12.745098039215685".
- 1872872 cpu_core_0 "12.745098039215685".
- 1874072 cpu_core_0 "12.745098039215685".
- 1874894 cpu_core_0 "12.745098039215685".
- 1875206 cpu_core_0 "12.745098039215685".
- 1875769 cpu_core_0 "12.745098039215685".
- 1877270 cpu_core_0 "12.745098039215685".
- 1877557 cpu_core_0 "12.745098039215685".
- 1877743 cpu_core_0 "12.745098039215685".
- 1877762 cpu_core_0 "12.745098039215685".
- 1878586 cpu_core_0 "12.745098039215685".
- 1878847 cpu_core_0 "12.745098039215685".
- 1878911 cpu_core_0 "12.745098039215685".
- 1880042 cpu_core_0 "12.745098039215685".
- 1880049 cpu_core_0 "12.745098039215685".
- 1880504 cpu_core_0 "12.745098039215685".
- 1880881 cpu_core_0 "12.745098039215685".
- 1881600 cpu_core_0 "12.745098039215685".
- 1882175 cpu_core_0 "12.745098039215685".
- 1882991 cpu_core_0 "12.745098039215685".
- 1883149 cpu_core_0 "12.745098039215685".
- 1883496 cpu_core_0 "12.745098039215685".
- 1883886 cpu_core_0 "12.745098039215685".
- 1884201 cpu_core_0 "12.745098039215685".
- 1884534 cpu_core_0 "12.745098039215685".
- 1884595 cpu_core_0 "12.745098039215685".
- 1884599 cpu_core_0 "12.745098039215685".
- 1884669 cpu_core_0 "12.745098039215685".
- 1885815 cpu_core_0 "12.745098039215685".
- 1886025 cpu_core_0 "12.745098039215685".
- 1886352 cpu_core_0 "12.745098039215685".
- 1887253 cpu_core_0 "12.745098039215685".
- 1887433 cpu_core_0 "12.745098039215685".
- 1887973 cpu_core_0 "12.745098039215685".
- 1888090 cpu_core_0 "12.745098039215685".
- 1888867 cpu_core_0 "12.745098039215685".
- 1889358 cpu_core_0 "12.745098039215685".
- 1890891 cpu_core_0 "12.745098039215685".
- 1891100 cpu_core_0 "12.745098039215685".
- 1892085 cpu_core_0 "12.745098039215685".
- 1892695 cpu_core_0 "12.745098039215685".
- 1893128 cpu_core_0 "12.745098039215685".
- 1893876 cpu_core_0 "12.745098039215685".
- 1894711 cpu_core_0 "12.745098039215685".
- 1894748 cpu_core_0 "12.745098039215685".
- 1895349 cpu_core_0 "12.745098039215685".
- 1896165 cpu_core_0 "12.745098039215685".
- 1896582 cpu_core_0 "12.745098039215685".
- 1897373 cpu_core_0 "12.745098039215685".
- 1897717 cpu_core_0 "12.745098039215685".
- 1897830 cpu_core_0 "12.745098039215685".
- 1897898 cpu_core_0 "12.745098039215685".
- 1898494 cpu_core_0 "12.745098039215685".
- 1899029 cpu_core_0 "12.745098039215685".
- 1899444 cpu_core_0 "12.745098039215685".
- 1899484 cpu_core_0 "12.745098039215685".
- 1899508 cpu_core_0 "12.745098039215685".
- 1900847 cpu_core_0 "12.745098039215685".
- 1901699 cpu_core_0 "12.745098039215685".
- 1902358 cpu_core_0 "12.745098039215685".
- 1902546 cpu_core_0 "12.745098039215685".
- 1902848 cpu_core_0 "12.745098039215685".
- 1902883 cpu_core_0 "12.745098039215685".
- 1903145 cpu_core_0 "12.745098039215685".
- 1903229 cpu_core_0 "12.745098039215685".
- 1903561 cpu_core_0 "12.745098039215685".
- 1903649 cpu_core_0 "12.745098039215685".
- 1903687 cpu_core_0 "12.745098039215685".
- 1904130 cpu_core_0 "12.745098039215685".
- 1904605 cpu_core_0 "12.745098039215685".
- 1904777 cpu_core_0 "12.745098039215685".
- 1905086 cpu_core_0 "12.745098039215685".
- 1905400 cpu_core_0 "12.745098039215685".
- 1905539 cpu_core_0 "12.745098039215685".
- 1906122 cpu_core_0 "12.745098039215685".
- 1906836 cpu_core_0 "12.745098039215685".
- 1907000 cpu_core_0 "12.745098039215685".
- 1908772 cpu_core_0 "12.745098039215685".
- 1908976 cpu_core_0 "12.745098039215685".
- 1909215 cpu_core_0 "12.745098039215685".
- 1909397 cpu_core_0 "12.745098039215685".
- 1909854 cpu_core_0 "12.745098039215685".
- 1909944 cpu_core_0 "12.745098039215685".