Matches in ISWC2014 Benchmark for { ?s ?p 6.999999999999999. }
- 1027681 cpu_core_0 "6.999999999999999".
- 1027826 cpu_core_0 "6.999999999999999".
- 1027827 cpu_core_0 "6.999999999999999".
- 1027828 cpu_core_0 "6.999999999999999".
- 1027846 cpu_core_0 "6.999999999999999".
- 1027860 cpu_core_0 "6.999999999999999".
- 1027868 cpu_core_0 "6.999999999999999".
- 1027906 cpu_core_0 "6.999999999999999".
- 1027938 cpu_core_0 "6.999999999999999".
- 1028027 cpu_core_0 "6.999999999999999".
- 1028107 cpu_core_0 "6.999999999999999".
- 1028108 cpu_core_0 "6.999999999999999".
- 1028179 cpu_core_0 "6.999999999999999".
- 1028181 cpu_core_0 "6.999999999999999".
- 1028209 cpu_core_0 "6.999999999999999".
- 1028220 cpu_core_0 "6.999999999999999".
- 1028243 cpu_core_0 "6.999999999999999".
- 1028294 cpu_core_0 "6.999999999999999".
- 1028334 cpu_core_0 "6.999999999999999".
- 1028343 cpu_core_0 "6.999999999999999".
- 1028371 cpu_core_0 "6.999999999999999".
- 1028513 cpu_core_0 "6.999999999999999".
- 1028639 cpu_core_0 "6.999999999999999".
- 1028703 cpu_core_0 "6.999999999999999".
- 1028719 cpu_core_0 "6.999999999999999".
- 1028772 cpu_core_0 "6.999999999999999".
- 1028926 cpu_core_0 "6.999999999999999".
- 1028962 cpu_core_0 "6.999999999999999".
- 1028981 cpu_core_0 "6.999999999999999".
- 1029136 cpu_core_0 "6.999999999999999".
- 1029169 cpu_core_0 "6.999999999999999".
- 1029210 cpu_core_0 "6.999999999999999".
- 1029292 cpu_core_0 "6.999999999999999".
- 1029350 cpu_core_0 "6.999999999999999".
- 1029422 cpu_core_0 "6.999999999999999".
- 1029429 cpu_core_0 "6.999999999999999".
- 1029526 cpu_core_0 "6.999999999999999".
- 1029536 cpu_core_0 "6.999999999999999".
- 1029594 cpu_core_0 "6.999999999999999".
- 1029783 cpu_core_0 "6.999999999999999".
- 1029831 cpu_core_0 "6.999999999999999".
- 1029859 cpu_core_0 "6.999999999999999".
- 1029905 cpu_core_0 "6.999999999999999".
- 1029912 cpu_core_0 "6.999999999999999".
- 1029915 cpu_core_0 "6.999999999999999".
- 1029932 cpu_core_0 "6.999999999999999".
- 1029935 cpu_core_0 "6.999999999999999".
- 1030033 cpu_core_0 "6.999999999999999".
- 1030135 cpu_core_0 "6.999999999999999".
- 1030201 cpu_core_0 "6.999999999999999".
- 1030202 cpu_core_0 "6.999999999999999".
- 1030214 cpu_core_0 "6.999999999999999".
- 1030222 cpu_core_0 "6.999999999999999".
- 1030348 cpu_core_0 "6.999999999999999".
- 1030523 cpu_core_0 "6.999999999999999".
- 1030572 cpu_core_0 "6.999999999999999".
- 1030630 cpu_core_0 "6.999999999999999".
- 1030643 cpu_core_0 "6.999999999999999".
- 1030670 cpu_core_0 "6.999999999999999".
- 1030695 cpu_core_0 "6.999999999999999".
- 1030757 cpu_core_0 "6.999999999999999".
- 1030763 cpu_core_0 "6.999999999999999".
- 1030824 cpu_core_0 "6.999999999999999".
- 1031025 cpu_core_0 "6.999999999999999".
- 1031124 cpu_core_0 "6.999999999999999".
- 1031139 cpu_core_0 "6.999999999999999".
- 1031141 cpu_core_0 "6.999999999999999".
- 1031143 cpu_core_0 "6.999999999999999".
- 1031153 cpu_core_0 "6.999999999999999".
- 1031218 cpu_core_0 "6.999999999999999".
- 1031239 cpu_core_0 "6.999999999999999".
- 1031306 cpu_core_0 "6.999999999999999".
- 1031424 cpu_core_0 "6.999999999999999".
- 1031429 cpu_core_0 "6.999999999999999".
- 1031507 cpu_core_0 "6.999999999999999".
- 1031539 cpu_core_0 "6.999999999999999".
- 1031587 cpu_core_0 "6.999999999999999".
- 1031600 cpu_core_0 "6.999999999999999".
- 1031618 cpu_core_0 "6.999999999999999".
- 1031622 cpu_core_0 "6.999999999999999".
- 1031665 cpu_core_0 "6.999999999999999".
- 1031671 cpu_core_0 "6.999999999999999".
- 1031823 cpu_core_0 "6.999999999999999".
- 1031824 cpu_core_0 "6.999999999999999".
- 1031833 cpu_core_0 "6.999999999999999".
- 1032022 cpu_core_0 "6.999999999999999".
- 1032237 cpu_core_0 "6.999999999999999".
- 1032258 cpu_core_0 "6.999999999999999".
- 1032330 cpu_core_0 "6.999999999999999".
- 1032378 cpu_core_0 "6.999999999999999".
- 1032427 cpu_core_0 "6.999999999999999".
- 1032612 cpu_core_0 "6.999999999999999".
- 1032675 cpu_core_0 "6.999999999999999".
- 1032815 cpu_core_0 "6.999999999999999".
- 1032840 cpu_core_0 "6.999999999999999".
- 1033074 cpu_core_0 "6.999999999999999".
- 1033156 cpu_core_0 "6.999999999999999".
- 1033171 cpu_core_0 "6.999999999999999".
- 1033186 cpu_core_0 "6.999999999999999".
- 1033195 cpu_core_0 "6.999999999999999".