Matches in ISWC2014 Benchmark for { ?s ?p 6.9306930693069315. }
- 1907257 cpu_core_0 "6.9306930693069315".
- 1907463 cpu_core_0 "6.9306930693069315".
- 1908051 cpu_core_0 "6.9306930693069315".
- 1908254 cpu_core_0 "6.9306930693069315".
- 1908618 cpu_core_0 "6.9306930693069315".
- 1909014 cpu_core_0 "6.9306930693069315".
- 1909531 cpu_core_0 "6.9306930693069315".
- 1909872 cpu_core_0 "6.9306930693069315".
- 1910843 cpu_core_0 "6.9306930693069315".
- 1916410 cpu_core_0 "6.9306930693069315".
- 1916669 cpu_core_0 "6.9306930693069315".
- 1916770 cpu_core_0 "6.9306930693069315".
- 1918170 cpu_core_0 "6.9306930693069315".
- 1918216 cpu_core_0 "6.9306930693069315".
- 1918958 cpu_core_0 "6.9306930693069315".
- 1919798 cpu_core_0 "6.9306930693069315".
- 1919803 cpu_core_0 "6.9306930693069315".
- 1920067 cpu_core_0 "6.9306930693069315".
- 1920414 cpu_core_0 "6.9306930693069315".
- 1920508 cpu_core_0 "6.9306930693069315".
- 1920795 cpu_core_0 "6.9306930693069315".
- 1921101 cpu_core_0 "6.9306930693069315".
- 1921123 cpu_core_0 "6.9306930693069315".
- 1921532 cpu_core_0 "6.9306930693069315".
- 1921729 cpu_core_0 "6.9306930693069315".
- 1921762 cpu_core_0 "6.9306930693069315".
- 1921771 cpu_core_0 "6.9306930693069315".
- 1921780 cpu_core_0 "6.9306930693069315".
- 1922085 cpu_core_0 "6.9306930693069315".
- 1922091 cpu_core_0 "6.9306930693069315".
- 1922641 cpu_core_0 "6.9306930693069315".
- 1922759 cpu_core_0 "6.9306930693069315".
- 1926855 cpu_core_0 "6.9306930693069315".
- 1927319 cpu_core_0 "6.9306930693069315".
- 1927575 cpu_core_0 "6.9306930693069315".
- 1938335 cpu_core_0 "6.9306930693069315".
- 1938400 cpu_core_0 "6.9306930693069315".
- 1939381 cpu_core_0 "6.9306930693069315".
- 1939390 cpu_core_0 "6.9306930693069315".
- 1939408 cpu_core_0 "6.9306930693069315".
- 1939410 cpu_core_0 "6.9306930693069315".
- 1939441 cpu_core_0 "6.9306930693069315".
- 1939450 cpu_core_0 "6.9306930693069315".
- 1939468 cpu_core_0 "6.9306930693069315".
- 1939470 cpu_core_0 "6.9306930693069315".
- 1948379 cpu_core_0 "6.9306930693069315".
- 1950903 cpu_core_0 "6.9306930693069315".
- 1964526 cpu_core_0 "6.9306930693069315".
- 1964577 cpu_core_0 "6.9306930693069315".
- 1964652 cpu_core_0 "6.9306930693069315".
- 1964700 cpu_core_0 "6.9306930693069315".
- 1964773 cpu_core_0 "6.9306930693069315".
- 1964782 cpu_core_0 "6.9306930693069315".
- 1964859 cpu_core_0 "6.9306930693069315".
- 1968490 cpu_core_0 "6.9306930693069315".
- 1968516 cpu_core_0 "6.9306930693069315".
- 1968545 cpu_core_0 "6.9306930693069315".
- 1968557 cpu_core_0 "6.9306930693069315".
- 1968715 cpu_core_0 "6.9306930693069315".
- 1968744 cpu_core_0 "6.9306930693069315".
- 1972746 cpu_core_0 "6.9306930693069315".
- 1973404 cpu_core_0 "6.9306930693069315".
- 1973408 cpu_core_0 "6.9306930693069315".
- 1973430 cpu_core_0 "6.9306930693069315".
- 1973434 cpu_core_0 "6.9306930693069315".
- 2015329 cpu_core_0 "6.9306930693069315".
- 2041859 cpu_core_0 "6.9306930693069315".
- 2042068 cpu_core_0 "6.9306930693069315".
- 2042104 cpu_core_0 "6.9306930693069315".
- 2042255 cpu_core_0 "6.9306930693069315".
- 2042341 cpu_core_0 "6.9306930693069315".
- 2042403 cpu_core_0 "6.9306930693069315".
- 2042496 cpu_core_0 "6.9306930693069315".
- 2042503 cpu_core_0 "6.9306930693069315".
- 2042510 cpu_core_0 "6.9306930693069315".
- 2062726 cpu_core_0 "6.9306930693069315".
- 2062792 cpu_core_0 "6.9306930693069315".
- 2062864 cpu_core_0 "6.9306930693069315".
- 2062878 cpu_core_0 "6.9306930693069315".
- 2063701 cpu_core_0 "6.9306930693069315".
- 2064258 cpu_core_0 "6.9306930693069315".
- 2066444 cpu_core_0 "6.9306930693069315".
- 2067034 cpu_core_0 "6.9306930693069315".
- 2068022 cpu_core_0 "6.9306930693069315".
- 2069029 cpu_core_0 "6.9306930693069315".
- 2069606 cpu_core_0 "6.9306930693069315".
- 2070138 cpu_core_0 "6.9306930693069315".
- 2070953 cpu_core_0 "6.9306930693069315".
- 2073033 cpu_core_0 "6.9306930693069315".
- 2073381 cpu_core_0 "6.9306930693069315".
- 2073730 cpu_core_0 "6.9306930693069315".
- 2073733 cpu_core_0 "6.9306930693069315".
- 2073802 cpu_core_0 "6.9306930693069315".
- 2073850 cpu_core_0 "6.9306930693069315".
- 2073871 cpu_core_0 "6.9306930693069315".
- 2073872 cpu_core_0 "6.9306930693069315".
- 2075997 cpu_core_0 "6.9306930693069315".
- 2076117 cpu_core_0 "6.9306930693069315".
- 2076396 cpu_core_0 "6.9306930693069315".
- 2076424 cpu_core_0 "6.9306930693069315".