Matches in ISWC2014 Benchmark for { ?s ?p 6.999999999999999. }
- 1048095 cpu_core_0 "6.999999999999999".
- 1048121 cpu_core_0 "6.999999999999999".
- 1048232 cpu_core_0 "6.999999999999999".
- 1048237 cpu_core_0 "6.999999999999999".
- 1048258 cpu_core_0 "6.999999999999999".
- 1048342 cpu_core_0 "6.999999999999999".
- 1048365 cpu_core_0 "6.999999999999999".
- 1048492 cpu_core_0 "6.999999999999999".
- 1048606 cpu_core_0 "6.999999999999999".
- 1048607 cpu_core_0 "6.999999999999999".
- 1048636 cpu_core_0 "6.999999999999999".
- 1048755 cpu_core_0 "6.999999999999999".
- 1048759 cpu_core_0 "6.999999999999999".
- 1048767 cpu_core_0 "6.999999999999999".
- 1048866 cpu_core_0 "6.999999999999999".
- 1048867 cpu_core_0 "6.999999999999999".
- 1048899 cpu_core_0 "6.999999999999999".
- 1048912 cpu_core_0 "6.999999999999999".
- 1049108 cpu_core_0 "6.999999999999999".
- 1049219 cpu_core_0 "6.999999999999999".
- 1049237 cpu_core_0 "6.999999999999999".
- 1049252 cpu_core_0 "6.999999999999999".
- 1049254 cpu_core_0 "6.999999999999999".
- 1049262 cpu_core_0 "6.999999999999999".
- 1049293 cpu_core_0 "6.999999999999999".
- 1049542 cpu_core_0 "6.999999999999999".
- 1049551 cpu_core_0 "6.999999999999999".
- 1049559 cpu_core_0 "6.999999999999999".
- 1049822 cpu_core_0 "6.999999999999999".
- 1049877 cpu_core_0 "6.999999999999999".
- 1049890 cpu_core_0 "6.999999999999999".
- 1049908 cpu_core_0 "6.999999999999999".
- 1050020 cpu_core_0 "6.999999999999999".
- 1050079 cpu_core_0 "6.999999999999999".
- 1050094 cpu_core_0 "6.999999999999999".
- 1050138 cpu_core_0 "6.999999999999999".
- 1050189 cpu_core_0 "6.999999999999999".
- 1050222 cpu_core_0 "6.999999999999999".
- 1050498 cpu_core_0 "6.999999999999999".
- 1050700 cpu_core_0 "6.999999999999999".
- 1050710 cpu_core_0 "6.999999999999999".
- 1050727 cpu_core_0 "6.999999999999999".
- 1050733 cpu_core_0 "6.999999999999999".
- 1050815 cpu_core_0 "6.999999999999999".
- 1050835 cpu_core_0 "6.999999999999999".
- 1050844 cpu_core_0 "6.999999999999999".
- 1050849 cpu_core_0 "6.999999999999999".
- 1050905 cpu_core_0 "6.999999999999999".
- 1050945 cpu_core_0 "6.999999999999999".
- 1050955 cpu_core_0 "6.999999999999999".
- 1050964 cpu_core_0 "6.999999999999999".
- 1050969 cpu_core_0 "6.999999999999999".
- 1051049 cpu_core_0 "6.999999999999999".
- 1051054 cpu_core_0 "6.999999999999999".
- 1051062 cpu_core_0 "6.999999999999999".
- 1051093 cpu_core_0 "6.999999999999999".
- 1051167 cpu_core_0 "6.999999999999999".
- 1051170 cpu_core_0 "6.999999999999999".
- 1051173 cpu_core_0 "6.999999999999999".
- 1051219 cpu_core_0 "6.999999999999999".
- 1051239 cpu_core_0 "6.999999999999999".
- 1051266 cpu_core_0 "6.999999999999999".
- 1051352 cpu_core_0 "6.999999999999999".
- 1051424 cpu_core_0 "6.999999999999999".
- 1051449 cpu_core_0 "6.999999999999999".
- 1051560 cpu_core_0 "6.999999999999999".
- 1051563 cpu_core_0 "6.999999999999999".
- 1051573 cpu_core_0 "6.999999999999999".
- 1051593 cpu_core_0 "6.999999999999999".
- 1051644 cpu_core_0 "6.999999999999999".
- 1051675 cpu_core_0 "6.999999999999999".
- 1051785 cpu_core_0 "6.999999999999999".
- 1051814 cpu_core_0 "6.999999999999999".
- 1051816 cpu_core_0 "6.999999999999999".
- 1051873 cpu_core_0 "6.999999999999999".
- 1051874 cpu_core_0 "6.999999999999999".
- 1051885 cpu_core_0 "6.999999999999999".
- 1051931 cpu_core_0 "6.999999999999999".
- 1051992 cpu_core_0 "6.999999999999999".
- 1052020 cpu_core_0 "6.999999999999999".
- 1052063 cpu_core_0 "6.999999999999999".
- 1052132 cpu_core_0 "6.999999999999999".
- 1052133 cpu_core_0 "6.999999999999999".
- 1052159 cpu_core_0 "6.999999999999999".
- 1052226 cpu_core_0 "6.999999999999999".
- 1052359 cpu_core_0 "6.999999999999999".
- 1052381 cpu_core_0 "6.999999999999999".
- 1052422 cpu_core_0 "6.999999999999999".
- 1052423 cpu_core_0 "6.999999999999999".
- 1052443 cpu_core_0 "6.999999999999999".
- 1052483 cpu_core_0 "6.999999999999999".
- 1052507 cpu_core_0 "6.999999999999999".
- 1052533 cpu_core_0 "6.999999999999999".
- 1052541 cpu_core_0 "6.999999999999999".
- 1052686 cpu_core_0 "6.999999999999999".
- 1052708 cpu_core_0 "6.999999999999999".
- 1052762 cpu_core_0 "6.999999999999999".
- 1052871 cpu_core_0 "6.999999999999999".
- 1052895 cpu_core_0 "6.999999999999999".
- 1052947 cpu_core_0 "6.999999999999999".