Matches in ISWC2014 Benchmark for { ?s ?p 17.525773195876287. }
- 1011732 cpu_core_0 "17.525773195876287".
- 1011879 cpu_core_0 "17.525773195876287".
- 1012388 cpu_core_0 "17.525773195876287".
- 1012551 cpu_core_0 "17.525773195876287".
- 1013256 cpu_core_0 "17.525773195876287".
- 1013475 cpu_core_0 "17.525773195876287".
- 1044486 cpu_core_0 "17.525773195876287".
- 1207942 cpu_core_0 "17.525773195876287".
- 1208058 cpu_core_0 "17.525773195876287".
- 1213659 cpu_core_0 "17.525773195876287".
- 1213664 cpu_core_0 "17.525773195876287".
- 1214186 cpu_core_0 "17.525773195876287".
- 1219299 cpu_core_0 "17.525773195876287".
- 1235191 cpu_core_0 "17.525773195876287".
- 1236311 cpu_core_0 "17.525773195876287".
- 1236358 cpu_core_0 "17.525773195876287".
- 1236415 cpu_core_0 "17.525773195876287".
- 1354197 cpu_core_0 "17.525773195876287".
- 1407511 cpu_core_0 "17.525773195876287".
- 1407751 cpu_core_0 "17.525773195876287".
- 1408068 cpu_core_0 "17.525773195876287".
- 1408974 cpu_core_0 "17.525773195876287".
- 1409074 cpu_core_0 "17.525773195876287".
- 1409621 cpu_core_0 "17.525773195876287".
- 1410100 cpu_core_0 "17.525773195876287".
- 1411199 cpu_core_0 "17.525773195876287".
- 1412807 cpu_core_0 "17.525773195876287".
- 1422167 cpu_core_0 "17.525773195876287".
- 1559155 cpu_core_0 "17.525773195876287".
- 1627133 cpu_core_0 "17.525773195876287".
- 1639147 cpu_core_0 "17.525773195876287".
- 1646438 cpu_core_0 "17.525773195876287".
- 1647576 cpu_core_0 "17.525773195876287".
- 1648421 cpu_core_0 "17.525773195876287".
- 1652548 cpu_core_0 "17.525773195876287".
- 1671328 cpu_core_0 "17.525773195876287".
- 1671390 cpu_core_0 "17.525773195876287".
- 1671766 cpu_core_0 "17.525773195876287".
- 1671916 cpu_core_0 "17.525773195876287".
- 1671955 cpu_core_0 "17.525773195876287".
- 1672072 cpu_core_0 "17.525773195876287".
- 1674370 cpu_core_0 "17.525773195876287".
- 1674613 cpu_core_0 "17.525773195876287".
- 1688014 cpu_core_0 "17.525773195876287".
- 1694734 cpu_core_0 "17.525773195876287".
- 1695002 cpu_core_0 "17.525773195876287".
- 1712122 cpu_core_0 "17.525773195876287".
- 1833276 cpu_core_0 "17.525773195876287".
- 1885742 cpu_core_0 "17.525773195876287".
- 1914578 cpu_core_0 "17.525773195876287".
- 1917307 cpu_core_0 "17.525773195876287".
- 1918898 cpu_core_0 "17.525773195876287".
- 1920291 cpu_core_0 "17.525773195876287".
- 1920447 cpu_core_0 "17.525773195876287".
- 1920675 cpu_core_0 "17.525773195876287".
- 1920718 cpu_core_0 "17.525773195876287".
- 1921876 cpu_core_0 "17.525773195876287".
- 1921888 cpu_core_0 "17.525773195876287".
- 1922177 cpu_core_0 "17.525773195876287".
- 1922188 cpu_core_0 "17.525773195876287".
- 1923083 cpu_core_0 "17.525773195876287".
- 1923149 cpu_core_0 "17.525773195876287".
- 1923637 cpu_core_0 "17.525773195876287".
- 1923766 cpu_core_0 "17.525773195876287".
- 1923816 cpu_core_0 "17.525773195876287".
- 1924082 cpu_core_0 "17.525773195876287".
- 1924458 cpu_core_0 "17.525773195876287".
- 1924577 cpu_core_0 "17.525773195876287".
- 1924583 cpu_core_0 "17.525773195876287".
- 1924820 cpu_core_0 "17.525773195876287".
- 1924892 cpu_core_0 "17.525773195876287".
- 1924961 cpu_core_0 "17.525773195876287".
- 1924969 cpu_core_0 "17.525773195876287".
- 1925081 cpu_core_0 "17.525773195876287".
- 1925240 cpu_core_0 "17.525773195876287".
- 1925257 cpu_core_0 "17.525773195876287".
- 1925298 cpu_core_0 "17.525773195876287".
- 1925330 cpu_core_0 "17.525773195876287".
- 1925365 cpu_core_0 "17.525773195876287".
- 1925684 cpu_core_0 "17.525773195876287".
- 1925790 cpu_core_0 "17.525773195876287".
- 1925857 cpu_core_0 "17.525773195876287".
- 1925891 cpu_core_0 "17.525773195876287".
- 1926163 cpu_core_0 "17.525773195876287".
- 1926219 cpu_core_0 "17.525773195876287".
- 1926384 cpu_core_0 "17.525773195876287".
- 1926532 cpu_core_0 "17.525773195876287".
- 1926712 cpu_core_0 "17.525773195876287".
- 1927018 cpu_core_0 "17.525773195876287".
- 1927052 cpu_core_0 "17.525773195876287".
- 1927300 cpu_core_0 "17.525773195876287".
- 1927614 cpu_core_0 "17.525773195876287".
- 1927635 cpu_core_0 "17.525773195876287".
- 1928192 cpu_core_0 "17.525773195876287".
- 1928227 cpu_core_0 "17.525773195876287".
- 218730 cpu_core_0 "17.525773195876287".
- 218738 cpu_core_0 "17.525773195876287".
- 218759 cpu_core_0 "17.525773195876287".
- 240395 cpu_core_0 "17.525773195876287".
- 247956 cpu_core_0 "17.525773195876287".