Matches in ISWC2014 Benchmark for { ?s ?p 6.999999999999999. }
- 1021885 cpu_core_0 "6.999999999999999".
- 1021886 cpu_core_0 "6.999999999999999".
- 1021895 cpu_core_0 "6.999999999999999".
- 1021919 cpu_core_0 "6.999999999999999".
- 1021997 cpu_core_0 "6.999999999999999".
- 1022071 cpu_core_0 "6.999999999999999".
- 1022143 cpu_core_0 "6.999999999999999".
- 1022192 cpu_core_0 "6.999999999999999".
- 1022208 cpu_core_0 "6.999999999999999".
- 1022283 cpu_core_0 "6.999999999999999".
- 1022291 cpu_core_0 "6.999999999999999".
- 1022294 cpu_core_0 "6.999999999999999".
- 1022413 cpu_core_0 "6.999999999999999".
- 1022489 cpu_core_0 "6.999999999999999".
- 1022548 cpu_core_0 "6.999999999999999".
- 1022620 cpu_core_0 "6.999999999999999".
- 1022690 cpu_core_0 "6.999999999999999".
- 1022694 cpu_core_0 "6.999999999999999".
- 1022723 cpu_core_0 "6.999999999999999".
- 1022734 cpu_core_0 "6.999999999999999".
- 1022754 cpu_core_0 "6.999999999999999".
- 1022975 cpu_core_0 "6.999999999999999".
- 1023046 cpu_core_0 "6.999999999999999".
- 1023073 cpu_core_0 "6.999999999999999".
- 1023201 cpu_core_0 "6.999999999999999".
- 1023232 cpu_core_0 "6.999999999999999".
- 1023266 cpu_core_0 "6.999999999999999".
- 1023273 cpu_core_0 "6.999999999999999".
- 1023276 cpu_core_0 "6.999999999999999".
- 1023379 cpu_core_0 "6.999999999999999".
- 1023583 cpu_core_0 "6.999999999999999".
- 1023594 cpu_core_0 "6.999999999999999".
- 1023676 cpu_core_0 "6.999999999999999".
- 1023842 cpu_core_0 "6.999999999999999".
- 1023874 cpu_core_0 "6.999999999999999".
- 1023893 cpu_core_0 "6.999999999999999".
- 1023894 cpu_core_0 "6.999999999999999".
- 1023948 cpu_core_0 "6.999999999999999".
- 1023956 cpu_core_0 "6.999999999999999".
- 1024049 cpu_core_0 "6.999999999999999".
- 1024101 cpu_core_0 "6.999999999999999".
- 1024291 cpu_core_0 "6.999999999999999".
- 1024414 cpu_core_0 "6.999999999999999".
- 1024457 cpu_core_0 "6.999999999999999".
- 1024598 cpu_core_0 "6.999999999999999".
- 1024661 cpu_core_0 "6.999999999999999".
- 1024777 cpu_core_0 "6.999999999999999".
- 1024828 cpu_core_0 "6.999999999999999".
- 1024904 cpu_core_0 "6.999999999999999".
- 1024954 cpu_core_0 "6.999999999999999".
- 1024961 cpu_core_0 "6.999999999999999".
- 1025006 cpu_core_0 "6.999999999999999".
- 1025056 cpu_core_0 "6.999999999999999".
- 1025077 cpu_core_0 "6.999999999999999".
- 1025133 cpu_core_0 "6.999999999999999".
- 1025158 cpu_core_0 "6.999999999999999".
- 1025173 cpu_core_0 "6.999999999999999".
- 1025200 cpu_core_0 "6.999999999999999".
- 1025251 cpu_core_0 "6.999999999999999".
- 1025253 cpu_core_0 "6.999999999999999".
- 1025545 cpu_core_0 "6.999999999999999".
- 1025599 cpu_core_0 "6.999999999999999".
- 1025614 cpu_core_0 "6.999999999999999".
- 1025645 cpu_core_0 "6.999999999999999".
- 1025656 cpu_core_0 "6.999999999999999".
- 1025915 cpu_core_0 "6.999999999999999".
- 1025999 cpu_core_0 "6.999999999999999".
- 1026015 cpu_core_0 "6.999999999999999".
- 1026057 cpu_core_0 "6.999999999999999".
- 1026276 cpu_core_0 "6.999999999999999".
- 1026330 cpu_core_0 "6.999999999999999".
- 1026487 cpu_core_0 "6.999999999999999".
- 1026534 cpu_core_0 "6.999999999999999".
- 1026556 cpu_core_0 "6.999999999999999".
- 1026621 cpu_core_0 "6.999999999999999".
- 1026641 cpu_core_0 "6.999999999999999".
- 1026644 cpu_core_0 "6.999999999999999".
- 1026645 cpu_core_0 "6.999999999999999".
- 1026693 cpu_core_0 "6.999999999999999".
- 1026718 cpu_core_0 "6.999999999999999".
- 1027128 cpu_core_0 "6.999999999999999".
- 1027137 cpu_core_0 "6.999999999999999".
- 1027169 cpu_core_0 "6.999999999999999".
- 1027254 cpu_core_0 "6.999999999999999".
- 1027280 cpu_core_0 "6.999999999999999".
- 1027283 cpu_core_0 "6.999999999999999".
- 1027287 cpu_core_0 "6.999999999999999".
- 1027298 cpu_core_0 "6.999999999999999".
- 1027301 cpu_core_0 "6.999999999999999".
- 1027325 cpu_core_0 "6.999999999999999".
- 1027364 cpu_core_0 "6.999999999999999".
- 1027374 cpu_core_0 "6.999999999999999".
- 1027386 cpu_core_0 "6.999999999999999".
- 1027390 cpu_core_0 "6.999999999999999".
- 1027412 cpu_core_0 "6.999999999999999".
- 1027499 cpu_core_0 "6.999999999999999".
- 1027522 cpu_core_0 "6.999999999999999".
- 1027560 cpu_core_0 "6.999999999999999".
- 1027632 cpu_core_0 "6.999999999999999".
- 1027648 cpu_core_0 "6.999999999999999".