Matches in ISWC2014 Benchmark for { ?s ?p 3.061224489795918. }
- 1900740 cpu_core_0 "3.061224489795918".
- 1901088 cpu_core_0 "3.061224489795918".
- 1901484 cpu_core_0 "3.061224489795918".
- 1902175 cpu_core_0 "3.061224489795918".
- 1904155 cpu_core_0 "3.061224489795918".
- 1904542 cpu_core_0 "3.061224489795918".
- 1905541 cpu_core_0 "3.061224489795918".
- 1906475 cpu_core_0 "3.061224489795918".
- 1910046 cpu_core_0 "3.061224489795918".
- 1910760 cpu_core_0 "3.061224489795918".
- 1912982 cpu_core_0 "3.061224489795918".
- 1916050 cpu_core_0 "3.061224489795918".
- 1916235 cpu_core_0 "3.061224489795918".
- 1919396 cpu_core_0 "3.061224489795918".
- 1920770 cpu_core_0 "3.061224489795918".
- 1921133 cpu_core_0 "3.061224489795918".
- 1921167 cpu_core_0 "3.061224489795918".
- 1921172 cpu_core_0 "3.061224489795918".
- 1921368 cpu_core_0 "3.061224489795918".
- 1923001 cpu_core_0 "3.061224489795918".
- 1924283 cpu_core_0 "3.061224489795918".
- 1924684 cpu_core_0 "3.061224489795918".
- 1925530 cpu_core_0 "3.061224489795918".
- 1925962 cpu_core_0 "3.061224489795918".
- 1926365 cpu_core_0 "3.061224489795918".
- 1926472 cpu_core_0 "3.061224489795918".
- 1926992 cpu_core_0 "3.061224489795918".
- 1927096 cpu_core_0 "3.061224489795918".
- 1927719 cpu_core_0 "3.061224489795918".
- 1927961 cpu_core_0 "3.061224489795918".
- 1928399 cpu_core_0 "3.061224489795918".
- 1928423 cpu_core_0 "3.061224489795918".
- 1938301 cpu_core_0 "3.061224489795918".
- 194241 cpu_core_0 "3.061224489795918".
- 194367 cpu_core_0 "3.061224489795918".
- 194390 cpu_core_0 "3.061224489795918".
- 194415 cpu_core_0 "3.061224489795918".
- 194494 cpu_core_0 "3.061224489795918".
- 194529 cpu_core_0 "3.061224489795918".
- 194637 cpu_core_0 "3.061224489795918".
- 194677 cpu_core_0 "3.061224489795918".
- 1959912 cpu_core_0 "3.061224489795918".
- 1968711 cpu_core_0 "3.061224489795918".
- 1968740 cpu_core_0 "3.061224489795918".
- 1969159 cpu_core_0 "3.061224489795918".
- 1974091 cpu_core_0 "3.061224489795918".
- 1974112 cpu_core_0 "3.061224489795918".
- 1989972 cpu_core_0 "3.061224489795918".
- 1990047 cpu_core_0 "3.061224489795918".
- 1990100 cpu_core_0 "3.061224489795918".
- 1990129 cpu_core_0 "3.061224489795918".
- 1990177 cpu_core_0 "3.061224489795918".
- 1990182 cpu_core_0 "3.061224489795918".
- 1990228 cpu_core_0 "3.061224489795918".
- 1990313 cpu_core_0 "3.061224489795918".
- 1991110 cpu_core_0 "3.061224489795918".
- 2041864 cpu_core_0 "3.061224489795918".
- 2042232 cpu_core_0 "3.061224489795918".
- 2051519 cpu_core_0 "3.061224489795918".
- 2062079 cpu_core_0 "3.061224489795918".
- 2062094 cpu_core_0 "3.061224489795918".
- 2062120 cpu_core_0 "3.061224489795918".
- 2064455 cpu_core_0 "3.061224489795918".
- 2065507 cpu_core_0 "3.061224489795918".
- 2066398 cpu_core_0 "3.061224489795918".
- 2066465 cpu_core_0 "3.061224489795918".
- 2069515 cpu_core_0 "3.061224489795918".
- 2069627 cpu_core_0 "3.061224489795918".
- 2071978 cpu_core_0 "3.061224489795918".
- 2072028 cpu_core_0 "3.061224489795918".
- 2072153 cpu_core_0 "3.061224489795918".
- 2072169 cpu_core_0 "3.061224489795918".
- 2072209 cpu_core_0 "3.061224489795918".
- 2072235 cpu_core_0 "3.061224489795918".
- 2072239 cpu_core_0 "3.061224489795918".
- 2072299 cpu_core_0 "3.061224489795918".
- 2072315 cpu_core_0 "3.061224489795918".
- 2072325 cpu_core_0 "3.061224489795918".
- 2072635 cpu_core_0 "3.061224489795918".
- 2072703 cpu_core_0 "3.061224489795918".
- 2072845 cpu_core_0 "3.061224489795918".
- 2072892 cpu_core_0 "3.061224489795918".
- 2073153 cpu_core_0 "3.061224489795918".
- 2075100 cpu_core_0 "3.061224489795918".
- 2075153 cpu_core_0 "3.061224489795918".
- 2076777 cpu_core_0 "3.061224489795918".
- 2076862 cpu_core_0 "3.061224489795918".
- 2077230 cpu_core_0 "3.061224489795918".
- 2077233 cpu_core_0 "3.061224489795918".
- 2077646 cpu_core_0 "3.061224489795918".
- 2077712 cpu_core_0 "3.061224489795918".
- 209635 cpu_core_0 "3.061224489795918".
- 209656 cpu_core_0 "3.061224489795918".
- 218802 cpu_core_0 "3.061224489795918".
- 218843 cpu_core_0 "3.061224489795918".
- 222841 cpu_core_0 "3.061224489795918".
- 222845 cpu_core_0 "3.061224489795918".
- 223311 cpu_core_0 "3.061224489795918".
- 223321 cpu_core_0 "3.061224489795918".
- 223343 cpu_core_0 "3.061224489795918".