Matches in ISWC2014 Benchmark for { ?s ?p 6.999999999999999. }
- 1075791 cpu_core_0 "6.999999999999999".
- 1075845 cpu_core_0 "6.999999999999999".
- 1075860 cpu_core_0 "6.999999999999999".
- 1075870 cpu_core_0 "6.999999999999999".
- 1075921 cpu_core_0 "6.999999999999999".
- 1076015 cpu_core_0 "6.999999999999999".
- 1076092 cpu_core_0 "6.999999999999999".
- 1076117 cpu_core_0 "6.999999999999999".
- 1076134 cpu_core_0 "6.999999999999999".
- 1076142 cpu_core_0 "6.999999999999999".
- 1076146 cpu_core_0 "6.999999999999999".
- 1076218 cpu_core_0 "6.999999999999999".
- 1076262 cpu_core_0 "6.999999999999999".
- 1076265 cpu_core_0 "6.999999999999999".
- 1076279 cpu_core_0 "6.999999999999999".
- 1076370 cpu_core_0 "6.999999999999999".
- 1076390 cpu_core_0 "6.999999999999999".
- 1076618 cpu_core_0 "6.999999999999999".
- 1076649 cpu_core_0 "6.999999999999999".
- 1076724 cpu_core_0 "6.999999999999999".
- 1076727 cpu_core_0 "6.999999999999999".
- 1076878 cpu_core_0 "6.999999999999999".
- 1077012 cpu_core_0 "6.999999999999999".
- 1077132 cpu_core_0 "6.999999999999999".
- 1077233 cpu_core_0 "6.999999999999999".
- 1077314 cpu_core_0 "6.999999999999999".
- 1077624 cpu_core_0 "6.999999999999999".
- 1077741 cpu_core_0 "6.999999999999999".
- 1077794 cpu_core_0 "6.999999999999999".
- 1077802 cpu_core_0 "6.999999999999999".
- 1078059 cpu_core_0 "6.999999999999999".
- 1078065 cpu_core_0 "6.999999999999999".
- 1078288 cpu_core_0 "6.999999999999999".
- 1078436 cpu_core_0 "6.999999999999999".
- 1078539 cpu_core_0 "6.999999999999999".
- 1078546 cpu_core_0 "6.999999999999999".
- 1078569 cpu_core_0 "6.999999999999999".
- 1078610 cpu_core_0 "6.999999999999999".
- 1078667 cpu_core_0 "6.999999999999999".
- 1078682 cpu_core_0 "6.999999999999999".
- 1078699 cpu_core_0 "6.999999999999999".
- 1078707 cpu_core_0 "6.999999999999999".
- 1078771 cpu_core_0 "6.999999999999999".
- 1078911 cpu_core_0 "6.999999999999999".
- 1078993 cpu_core_0 "6.999999999999999".
- 1079013 cpu_core_0 "6.999999999999999".
- 1079092 cpu_core_0 "6.999999999999999".
- 1079114 cpu_core_0 "6.999999999999999".
- 1079154 cpu_core_0 "6.999999999999999".
- 1079163 cpu_core_0 "6.999999999999999".
- 1079169 cpu_core_0 "6.999999999999999".
- 1079184 cpu_core_0 "6.999999999999999".
- 1079192 cpu_core_0 "6.999999999999999".
- 1079331 cpu_core_0 "6.999999999999999".
- 1079371 cpu_core_0 "6.999999999999999".
- 1079407 cpu_core_0 "6.999999999999999".
- 1079417 cpu_core_0 "6.999999999999999".
- 1079425 cpu_core_0 "6.999999999999999".
- 1079427 cpu_core_0 "6.999999999999999".
- 1079431 cpu_core_0 "6.999999999999999".
- 1079448 cpu_core_0 "6.999999999999999".
- 1079494 cpu_core_0 "6.999999999999999".
- 1079503 cpu_core_0 "6.999999999999999".
- 1079551 cpu_core_0 "6.999999999999999".
- 1079596 cpu_core_0 "6.999999999999999".
- 1079617 cpu_core_0 "6.999999999999999".
- 1079622 cpu_core_0 "6.999999999999999".
- 1079653 cpu_core_0 "6.999999999999999".
- 1079667 cpu_core_0 "6.999999999999999".
- 1079677 cpu_core_0 "6.999999999999999".
- 1079806 cpu_core_0 "6.999999999999999".
- 1079836 cpu_core_0 "6.999999999999999".
- 1079853 cpu_core_0 "6.999999999999999".
- 1079869 cpu_core_0 "6.999999999999999".
- 1080018 cpu_core_0 "6.999999999999999".
- 1080025 cpu_core_0 "6.999999999999999".
- 1080161 cpu_core_0 "6.999999999999999".
- 1080272 cpu_core_0 "6.999999999999999".
- 1080437 cpu_core_0 "6.999999999999999".
- 1080529 cpu_core_0 "6.999999999999999".
- 1080593 cpu_core_0 "6.999999999999999".
- 1080643 cpu_core_0 "6.999999999999999".
- 1080788 cpu_core_0 "6.999999999999999".
- 1080822 cpu_core_0 "6.999999999999999".
- 1080960 cpu_core_0 "6.999999999999999".
- 1081047 cpu_core_0 "6.999999999999999".
- 1081052 cpu_core_0 "6.999999999999999".
- 1081065 cpu_core_0 "6.999999999999999".
- 1081169 cpu_core_0 "6.999999999999999".
- 1081269 cpu_core_0 "6.999999999999999".
- 1081308 cpu_core_0 "6.999999999999999".
- 1081329 cpu_core_0 "6.999999999999999".
- 1081464 cpu_core_0 "6.999999999999999".
- 1081469 cpu_core_0 "6.999999999999999".
- 1081557 cpu_core_0 "6.999999999999999".
- 1081604 cpu_core_0 "6.999999999999999".
- 1081675 cpu_core_0 "6.999999999999999".
- 1081769 cpu_core_0 "6.999999999999999".
- 1082002 cpu_core_0 "6.999999999999999".
- 1082027 cpu_core_0 "6.999999999999999".