Matches in ISWC2014 Benchmark for { ?s ?p 25.742574257425744. }
- 1756379 cpu_core_0 "25.742574257425744".
- 1756386 cpu_core_0 "25.742574257425744".
- 1756397 cpu_core_0 "25.742574257425744".
- 1761201 cpu_core_0 "25.742574257425744".
- 1762220 cpu_core_0 "25.742574257425744".
- 1762354 cpu_core_0 "25.742574257425744".
- 1764324 cpu_core_0 "25.742574257425744".
- 1764487 cpu_core_0 "25.742574257425744".
- 1766000 cpu_core_0 "25.742574257425744".
- 1767168 cpu_core_0 "25.742574257425744".
- 1767894 cpu_core_0 "25.742574257425744".
- 1767905 cpu_core_0 "25.742574257425744".
- 1767948 cpu_core_0 "25.742574257425744".
- 1773741 cpu_core_0 "25.742574257425744".
- 1773866 cpu_core_0 "25.742574257425744".
- 1774248 cpu_core_0 "25.742574257425744".
- 1779421 cpu_core_0 "25.742574257425744".
- 1779538 cpu_core_0 "25.742574257425744".
- 1779722 cpu_core_0 "25.742574257425744".
- 1783371 cpu_core_0 "25.742574257425744".
- 1785081 cpu_core_0 "25.742574257425744".
- 1785119 cpu_core_0 "25.742574257425744".
- 1791263 cpu_core_0 "25.742574257425744".
- 1796793 cpu_core_0 "25.742574257425744".
- 1797022 cpu_core_0 "25.742574257425744".
- 1797230 cpu_core_0 "25.742574257425744".
- 1797342 cpu_core_0 "25.742574257425744".
- 1797345 cpu_core_0 "25.742574257425744".
- 1797358 cpu_core_0 "25.742574257425744".
- 1797383 cpu_core_0 "25.742574257425744".
- 1798844 cpu_core_0 "25.742574257425744".
- 1801570 cpu_core_0 "25.742574257425744".
- 1807415 cpu_core_0 "25.742574257425744".
- 1809433 cpu_core_0 "25.742574257425744".
- 1815887 cpu_core_0 "25.742574257425744".
- 1822745 cpu_core_0 "25.742574257425744".
- 1826586 cpu_core_0 "25.742574257425744".
- 1827021 cpu_core_0 "25.742574257425744".
- 1832563 cpu_core_0 "25.742574257425744".
- 1834220 cpu_core_0 "25.742574257425744".
- 1834225 cpu_core_0 "25.742574257425744".
- 1834484 cpu_core_0 "25.742574257425744".
- 1838811 cpu_core_0 "25.742574257425744".
- 1839786 cpu_core_0 "25.742574257425744".
- 1846122 cpu_core_0 "25.742574257425744".
- 1846339 cpu_core_0 "25.742574257425744".
- 1852235 cpu_core_0 "25.742574257425744".
- 1852507 cpu_core_0 "25.742574257425744".
- 1864603 cpu_core_0 "25.742574257425744".
- 1864962 cpu_core_0 "25.742574257425744".
- 1865471 cpu_core_0 "25.742574257425744".
- 1872112 cpu_core_0 "25.742574257425744".
- 1872144 cpu_core_0 "25.742574257425744".
- 1877862 cpu_core_0 "25.742574257425744".
- 1878119 cpu_core_0 "25.742574257425744".
- 1880102 cpu_core_0 "25.742574257425744".
- 1883772 cpu_core_0 "25.742574257425744".
- 1883780 cpu_core_0 "25.742574257425744".
- 1887878 cpu_core_0 "25.742574257425744".
- 1888781 cpu_core_0 "25.742574257425744".
- 1889790 cpu_core_0 "25.742574257425744".
- 1889818 cpu_core_0 "25.742574257425744".
- 1894425 cpu_core_0 "25.742574257425744".
- 1895931 cpu_core_0 "25.742574257425744".
- 1901610 cpu_core_0 "25.742574257425744".
- 1901797 cpu_core_0 "25.742574257425744".
- 1901814 cpu_core_0 "25.742574257425744".
- 1902002 cpu_core_0 "25.742574257425744".
- 1903555 cpu_core_0 "25.742574257425744".
- 1907607 cpu_core_0 "25.742574257425744".
- 1908594 cpu_core_0 "25.742574257425744".
- 1913002 cpu_core_0 "25.742574257425744".
- 1913530 cpu_core_0 "25.742574257425744".
- 1913537 cpu_core_0 "25.742574257425744".
- 1913590 cpu_core_0 "25.742574257425744".
- 1913895 cpu_core_0 "25.742574257425744".
- 1913900 cpu_core_0 "25.742574257425744".
- 1913938 cpu_core_0 "25.742574257425744".
- 1914053 cpu_core_0 "25.742574257425744".
- 1914342 cpu_core_0 "25.742574257425744".
- 1914437 cpu_core_0 "25.742574257425744".
- 1914710 cpu_core_0 "25.742574257425744".
- 1914859 cpu_core_0 "25.742574257425744".
- 1914907 cpu_core_0 "25.742574257425744".
- 1915023 cpu_core_0 "25.742574257425744".
- 1915119 cpu_core_0 "25.742574257425744".
- 1915506 cpu_core_0 "25.742574257425744".
- 1915533 cpu_core_0 "25.742574257425744".
- 1916472 cpu_core_0 "25.742574257425744".
- 1916485 cpu_core_0 "25.742574257425744".
- 1916674 cpu_core_0 "25.742574257425744".
- 1916744 cpu_core_0 "25.742574257425744".
- 1917102 cpu_core_0 "25.742574257425744".
- 1917562 cpu_core_0 "25.742574257425744".
- 1918254 cpu_core_0 "25.742574257425744".
- 1918477 cpu_core_0 "25.742574257425744".
- 1919024 cpu_core_0 "25.742574257425744".
- 1919663 cpu_core_0 "25.742574257425744".
- 1919716 cpu_core_0 "25.742574257425744".
- 1920074 cpu_core_0 "25.742574257425744".