Matches in ISWC2014 Benchmark for { ?s ?p 13.725490196078432. }
- 1846180 cpu_core_0 "13.725490196078432".
- 1846407 cpu_core_0 "13.725490196078432".
- 1847013 cpu_core_0 "13.725490196078432".
- 1847336 cpu_core_0 "13.725490196078432".
- 1847497 cpu_core_0 "13.725490196078432".
- 1848437 cpu_core_0 "13.725490196078432".
- 1848648 cpu_core_0 "13.725490196078432".
- 1849750 cpu_core_0 "13.725490196078432".
- 1849944 cpu_core_0 "13.725490196078432".
- 1850231 cpu_core_0 "13.725490196078432".
- 1850738 cpu_core_0 "13.725490196078432".
- 1853400 cpu_core_0 "13.725490196078432".
- 1854069 cpu_core_0 "13.725490196078432".
- 1854375 cpu_core_0 "13.725490196078432".
- 1854384 cpu_core_0 "13.725490196078432".
- 1855398 cpu_core_0 "13.725490196078432".
- 1855858 cpu_core_0 "13.725490196078432".
- 1856188 cpu_core_0 "13.725490196078432".
- 1856910 cpu_core_0 "13.725490196078432".
- 1856919 cpu_core_0 "13.725490196078432".
- 1857258 cpu_core_0 "13.725490196078432".
- 1857714 cpu_core_0 "13.725490196078432".
- 1857741 cpu_core_0 "13.725490196078432".
- 1858772 cpu_core_0 "13.725490196078432".
- 1858776 cpu_core_0 "13.725490196078432".
- 1859810 cpu_core_0 "13.725490196078432".
- 1859915 cpu_core_0 "13.725490196078432".
- 1860349 cpu_core_0 "13.725490196078432".
- 1860970 cpu_core_0 "13.725490196078432".
- 1861400 cpu_core_0 "13.725490196078432".
- 1861967 cpu_core_0 "13.725490196078432".
- 1862292 cpu_core_0 "13.725490196078432".
- 1862357 cpu_core_0 "13.725490196078432".
- 1863121 cpu_core_0 "13.725490196078432".
- 1865186 cpu_core_0 "13.725490196078432".
- 1865297 cpu_core_0 "13.725490196078432".
- 1865921 cpu_core_0 "13.725490196078432".
- 1866851 cpu_core_0 "13.725490196078432".
- 1867247 cpu_core_0 "13.725490196078432".
- 1867253 cpu_core_0 "13.725490196078432".
- 1867272 cpu_core_0 "13.725490196078432".
- 1867389 cpu_core_0 "13.725490196078432".
- 1871775 cpu_core_0 "13.725490196078432".
- 1871924 cpu_core_0 "13.725490196078432".
- 1872582 cpu_core_0 "13.725490196078432".
- 1872891 cpu_core_0 "13.725490196078432".
- 1873487 cpu_core_0 "13.725490196078432".
- 1873838 cpu_core_0 "13.725490196078432".
- 1874731 cpu_core_0 "13.725490196078432".
- 1875376 cpu_core_0 "13.725490196078432".
- 1876605 cpu_core_0 "13.725490196078432".
- 1876960 cpu_core_0 "13.725490196078432".
- 1878292 cpu_core_0 "13.725490196078432".
- 1878715 cpu_core_0 "13.725490196078432".
- 1880476 cpu_core_0 "13.725490196078432".
- 1880948 cpu_core_0 "13.725490196078432".
- 1881757 cpu_core_0 "13.725490196078432".
- 1882139 cpu_core_0 "13.725490196078432".
- 1882193 cpu_core_0 "13.725490196078432".
- 1882850 cpu_core_0 "13.725490196078432".
- 1882894 cpu_core_0 "13.725490196078432".
- 1883036 cpu_core_0 "13.725490196078432".
- 1883047 cpu_core_0 "13.725490196078432".
- 1885382 cpu_core_0 "13.725490196078432".
- 1886131 cpu_core_0 "13.725490196078432".
- 1886581 cpu_core_0 "13.725490196078432".
- 1887106 cpu_core_0 "13.725490196078432".
- 1887360 cpu_core_0 "13.725490196078432".
- 1887681 cpu_core_0 "13.725490196078432".
- 1887730 cpu_core_0 "13.725490196078432".
- 1887733 cpu_core_0 "13.725490196078432".
- 1887829 cpu_core_0 "13.725490196078432".
- 1889959 cpu_core_0 "13.725490196078432".
- 1890069 cpu_core_0 "13.725490196078432".
- 1892335 cpu_core_0 "13.725490196078432".
- 1892355 cpu_core_0 "13.725490196078432".
- 1893416 cpu_core_0 "13.725490196078432".
- 1897158 cpu_core_0 "13.725490196078432".
- 1898020 cpu_core_0 "13.725490196078432".
- 1898767 cpu_core_0 "13.725490196078432".
- 1898792 cpu_core_0 "13.725490196078432".
- 1899272 cpu_core_0 "13.725490196078432".
- 1899504 cpu_core_0 "13.725490196078432".
- 1899604 cpu_core_0 "13.725490196078432".
- 1900665 cpu_core_0 "13.725490196078432".
- 1901010 cpu_core_0 "13.725490196078432".
- 1901922 cpu_core_0 "13.725490196078432".
- 1902405 cpu_core_0 "13.725490196078432".
- 1902673 cpu_core_0 "13.725490196078432".
- 1902689 cpu_core_0 "13.725490196078432".
- 1902958 cpu_core_0 "13.725490196078432".
- 1903127 cpu_core_0 "13.725490196078432".
- 1903930 cpu_core_0 "13.725490196078432".
- 1904219 cpu_core_0 "13.725490196078432".
- 1904597 cpu_core_0 "13.725490196078432".
- 1904792 cpu_core_0 "13.725490196078432".
- 1904894 cpu_core_0 "13.725490196078432".
- 1904933 cpu_core_0 "13.725490196078432".
- 1905027 cpu_core_0 "13.725490196078432".
- 1905876 cpu_core_0 "13.725490196078432".