Matches in ISWC2014 Benchmark for { ?s ?p 5.9405940594059405. }
- 1920020 cpu_core_0 "5.9405940594059405".
- 1920027 cpu_core_0 "5.9405940594059405".
- 1920361 cpu_core_0 "5.9405940594059405".
- 1920462 cpu_core_0 "5.9405940594059405".
- 1920495 cpu_core_0 "5.9405940594059405".
- 1921110 cpu_core_0 "5.9405940594059405".
- 1921732 cpu_core_0 "5.9405940594059405".
- 1921741 cpu_core_0 "5.9405940594059405".
- 1924199 cpu_core_0 "5.9405940594059405".
- 1925046 cpu_core_0 "5.9405940594059405".
- 1925523 cpu_core_0 "5.9405940594059405".
- 1925646 cpu_core_0 "5.9405940594059405".
- 1926347 cpu_core_0 "5.9405940594059405".
- 1926383 cpu_core_0 "5.9405940594059405".
- 1928125 cpu_core_0 "5.9405940594059405".
- 1928160 cpu_core_0 "5.9405940594059405".
- 1928280 cpu_core_0 "5.9405940594059405".
- 1928304 cpu_core_0 "5.9405940594059405".
- 1928397 cpu_core_0 "5.9405940594059405".
- 1928421 cpu_core_0 "5.9405940594059405".
- 1932354 cpu_core_0 "5.9405940594059405".
- 1937317 cpu_core_0 "5.9405940594059405".
- 1950386 cpu_core_0 "5.9405940594059405".
- 1964572 cpu_core_0 "5.9405940594059405".
- 196562 cpu_core_0 "5.9405940594059405".
- 1965974 cpu_core_0 "5.9405940594059405".
- 1968487 cpu_core_0 "5.9405940594059405".
- 1968508 cpu_core_0 "5.9405940594059405".
- 1968515 cpu_core_0 "5.9405940594059405".
- 1968519 cpu_core_0 "5.9405940594059405".
- 1968542 cpu_core_0 "5.9405940594059405".
- 1969398 cpu_core_0 "5.9405940594059405".
- 1972766 cpu_core_0 "5.9405940594059405".
- 1972821 cpu_core_0 "5.9405940594059405".
- 1972830 cpu_core_0 "5.9405940594059405".
- 1974046 cpu_core_0 "5.9405940594059405".
- 1974070 cpu_core_0 "5.9405940594059405".
- 1978527 cpu_core_0 "5.9405940594059405".
- 1978719 cpu_core_0 "5.9405940594059405".
- 1985594 cpu_core_0 "5.9405940594059405".
- 1989839 cpu_core_0 "5.9405940594059405".
- 1989937 cpu_core_0 "5.9405940594059405".
- 1989963 cpu_core_0 "5.9405940594059405".
- 1990025 cpu_core_0 "5.9405940594059405".
- 1990126 cpu_core_0 "5.9405940594059405".
- 1990167 cpu_core_0 "5.9405940594059405".
- 1990179 cpu_core_0 "5.9405940594059405".
- 1990195 cpu_core_0 "5.9405940594059405".
- 1990201 cpu_core_0 "5.9405940594059405".
- 1990280 cpu_core_0 "5.9405940594059405".
- 1990283 cpu_core_0 "5.9405940594059405".
- 1990307 cpu_core_0 "5.9405940594059405".
- 1992357 cpu_core_0 "5.9405940594059405".
- 1995607 cpu_core_0 "5.9405940594059405".
- 201655 cpu_core_0 "5.9405940594059405".
- 2022780 cpu_core_0 "5.9405940594059405".
- 202851 cpu_core_0 "5.9405940594059405".
- 2041801 cpu_core_0 "5.9405940594059405".
- 2041803 cpu_core_0 "5.9405940594059405".
- 2041829 cpu_core_0 "5.9405940594059405".
- 2041836 cpu_core_0 "5.9405940594059405".
- 2041838 cpu_core_0 "5.9405940594059405".
- 2041841 cpu_core_0 "5.9405940594059405".
- 2041849 cpu_core_0 "5.9405940594059405".
- 2041853 cpu_core_0 "5.9405940594059405".
- 2041862 cpu_core_0 "5.9405940594059405".
- 2041879 cpu_core_0 "5.9405940594059405".
- 2041883 cpu_core_0 "5.9405940594059405".
- 2041887 cpu_core_0 "5.9405940594059405".
- 2041888 cpu_core_0 "5.9405940594059405".
- 2041907 cpu_core_0 "5.9405940594059405".
- 2041918 cpu_core_0 "5.9405940594059405".
- 2041960 cpu_core_0 "5.9405940594059405".
- 2041962 cpu_core_0 "5.9405940594059405".
- 2041980 cpu_core_0 "5.9405940594059405".
- 2042001 cpu_core_0 "5.9405940594059405".
- 2042013 cpu_core_0 "5.9405940594059405".
- 2042032 cpu_core_0 "5.9405940594059405".
- 2042043 cpu_core_0 "5.9405940594059405".
- 2042071 cpu_core_0 "5.9405940594059405".
- 2042081 cpu_core_0 "5.9405940594059405".
- 2042113 cpu_core_0 "5.9405940594059405".
- 2042138 cpu_core_0 "5.9405940594059405".
- 2042151 cpu_core_0 "5.9405940594059405".
- 2042170 cpu_core_0 "5.9405940594059405".
- 2042208 cpu_core_0 "5.9405940594059405".
- 2042210 cpu_core_0 "5.9405940594059405".
- 2042228 cpu_core_0 "5.9405940594059405".
- 2042247 cpu_core_0 "5.9405940594059405".
- 2042304 cpu_core_0 "5.9405940594059405".
- 2042321 cpu_core_0 "5.9405940594059405".
- 2042323 cpu_core_0 "5.9405940594059405".
- 2042339 cpu_core_0 "5.9405940594059405".
- 2042360 cpu_core_0 "5.9405940594059405".
- 2042363 cpu_core_0 "5.9405940594059405".
- 2042365 cpu_core_0 "5.9405940594059405".
- 2042385 cpu_core_0 "5.9405940594059405".
- 2042388 cpu_core_0 "5.9405940594059405".
- 2042401 cpu_core_0 "5.9405940594059405".
- 2042417 cpu_core_0 "5.9405940594059405".