Matches in ISWC2014 Benchmark for { ?s ?p 6.999999999999999. }
- 1011318 cpu_core_0 "6.999999999999999".
- 1015618 cpu_core_0 "6.999999999999999".
- 1015905 cpu_core_0 "6.999999999999999".
- 1015919 cpu_core_0 "6.999999999999999".
- 1015954 cpu_core_0 "6.999999999999999".
- 1015973 cpu_core_0 "6.999999999999999".
- 1016005 cpu_core_0 "6.999999999999999".
- 1016019 cpu_core_0 "6.999999999999999".
- 1016020 cpu_core_0 "6.999999999999999".
- 1016045 cpu_core_0 "6.999999999999999".
- 1016064 cpu_core_0 "6.999999999999999".
- 1016165 cpu_core_0 "6.999999999999999".
- 1016166 cpu_core_0 "6.999999999999999".
- 1016179 cpu_core_0 "6.999999999999999".
- 1016235 cpu_core_0 "6.999999999999999".
- 1016238 cpu_core_0 "6.999999999999999".
- 1016255 cpu_core_0 "6.999999999999999".
- 1016313 cpu_core_0 "6.999999999999999".
- 1016391 cpu_core_0 "6.999999999999999".
- 1016392 cpu_core_0 "6.999999999999999".
- 1016516 cpu_core_0 "6.999999999999999".
- 1016544 cpu_core_0 "6.999999999999999".
- 1016675 cpu_core_0 "6.999999999999999".
- 1016694 cpu_core_0 "6.999999999999999".
- 1016726 cpu_core_0 "6.999999999999999".
- 1016817 cpu_core_0 "6.999999999999999".
- 1016838 cpu_core_0 "6.999999999999999".
- 1016885 cpu_core_0 "6.999999999999999".
- 1016945 cpu_core_0 "6.999999999999999".
- 1016983 cpu_core_0 "6.999999999999999".
- 1017003 cpu_core_0 "6.999999999999999".
- 1017154 cpu_core_0 "6.999999999999999".
- 1017180 cpu_core_0 "6.999999999999999".
- 1017238 cpu_core_0 "6.999999999999999".
- 1017423 cpu_core_0 "6.999999999999999".
- 1017504 cpu_core_0 "6.999999999999999".
- 1017535 cpu_core_0 "6.999999999999999".
- 1017560 cpu_core_0 "6.999999999999999".
- 1017578 cpu_core_0 "6.999999999999999".
- 1017614 cpu_core_0 "6.999999999999999".
- 1017636 cpu_core_0 "6.999999999999999".
- 1017864 cpu_core_0 "6.999999999999999".
- 1017894 cpu_core_0 "6.999999999999999".
- 1017968 cpu_core_0 "6.999999999999999".
- 1018033 cpu_core_0 "6.999999999999999".
- 1018057 cpu_core_0 "6.999999999999999".
- 1018058 cpu_core_0 "6.999999999999999".
- 1018076 cpu_core_0 "6.999999999999999".
- 1018136 cpu_core_0 "6.999999999999999".
- 1018139 cpu_core_0 "6.999999999999999".
- 1018173 cpu_core_0 "6.999999999999999".
- 1018342 cpu_core_0 "6.999999999999999".
- 1018402 cpu_core_0 "6.999999999999999".
- 1018412 cpu_core_0 "6.999999999999999".
- 1018415 cpu_core_0 "6.999999999999999".
- 1018464 cpu_core_0 "6.999999999999999".
- 1018534 cpu_core_0 "6.999999999999999".
- 1018583 cpu_core_0 "6.999999999999999".
- 1018594 cpu_core_0 "6.999999999999999".
- 1018617 cpu_core_0 "6.999999999999999".
- 1018684 cpu_core_0 "6.999999999999999".
- 1018709 cpu_core_0 "6.999999999999999".
- 1018758 cpu_core_0 "6.999999999999999".
- 1018788 cpu_core_0 "6.999999999999999".
- 1018898 cpu_core_0 "6.999999999999999".
- 1019000 cpu_core_0 "6.999999999999999".
- 1019264 cpu_core_0 "6.999999999999999".
- 1019366 cpu_core_0 "6.999999999999999".
- 1019377 cpu_core_0 "6.999999999999999".
- 1019610 cpu_core_0 "6.999999999999999".
- 1019674 cpu_core_0 "6.999999999999999".
- 1019701 cpu_core_0 "6.999999999999999".
- 1019775 cpu_core_0 "6.999999999999999".
- 1019860 cpu_core_0 "6.999999999999999".
- 1019971 cpu_core_0 "6.999999999999999".
- 1019994 cpu_core_0 "6.999999999999999".
- 1019996 cpu_core_0 "6.999999999999999".
- 1020089 cpu_core_0 "6.999999999999999".
- 1020416 cpu_core_0 "6.999999999999999".
- 1020422 cpu_core_0 "6.999999999999999".
- 1020423 cpu_core_0 "6.999999999999999".
- 1020496 cpu_core_0 "6.999999999999999".
- 1020511 cpu_core_0 "6.999999999999999".
- 1020570 cpu_core_0 "6.999999999999999".
- 1021036 cpu_core_0 "6.999999999999999".
- 1021230 cpu_core_0 "6.999999999999999".
- 1021251 cpu_core_0 "6.999999999999999".
- 1021290 cpu_core_0 "6.999999999999999".
- 1021300 cpu_core_0 "6.999999999999999".
- 1021391 cpu_core_0 "6.999999999999999".
- 1021455 cpu_core_0 "6.999999999999999".
- 1021481 cpu_core_0 "6.999999999999999".
- 1021514 cpu_core_0 "6.999999999999999".
- 1021527 cpu_core_0 "6.999999999999999".
- 1021548 cpu_core_0 "6.999999999999999".
- 1021604 cpu_core_0 "6.999999999999999".
- 1021637 cpu_core_0 "6.999999999999999".
- 1021644 cpu_core_0 "6.999999999999999".
- 1021824 cpu_core_0 "6.999999999999999".
- 1021848 cpu_core_0 "6.999999999999999".