Matches in ISWC2014 Benchmark for { ?s ?p 6.999999999999999. }
- 1033196 cpu_core_0 "6.999999999999999".
- 1033212 cpu_core_0 "6.999999999999999".
- 1033251 cpu_core_0 "6.999999999999999".
- 1033260 cpu_core_0 "6.999999999999999".
- 1033383 cpu_core_0 "6.999999999999999".
- 1033473 cpu_core_0 "6.999999999999999".
- 1033521 cpu_core_0 "6.999999999999999".
- 1033527 cpu_core_0 "6.999999999999999".
- 1033538 cpu_core_0 "6.999999999999999".
- 1033593 cpu_core_0 "6.999999999999999".
- 1033758 cpu_core_0 "6.999999999999999".
- 1033778 cpu_core_0 "6.999999999999999".
- 1033804 cpu_core_0 "6.999999999999999".
- 1033881 cpu_core_0 "6.999999999999999".
- 1034015 cpu_core_0 "6.999999999999999".
- 1034029 cpu_core_0 "6.999999999999999".
- 1034047 cpu_core_0 "6.999999999999999".
- 1034063 cpu_core_0 "6.999999999999999".
- 1034068 cpu_core_0 "6.999999999999999".
- 1034069 cpu_core_0 "6.999999999999999".
- 1034184 cpu_core_0 "6.999999999999999".
- 1034368 cpu_core_0 "6.999999999999999".
- 1034390 cpu_core_0 "6.999999999999999".
- 1034399 cpu_core_0 "6.999999999999999".
- 1034404 cpu_core_0 "6.999999999999999".
- 1034428 cpu_core_0 "6.999999999999999".
- 1034430 cpu_core_0 "6.999999999999999".
- 1034434 cpu_core_0 "6.999999999999999".
- 1034475 cpu_core_0 "6.999999999999999".
- 1034491 cpu_core_0 "6.999999999999999".
- 1034494 cpu_core_0 "6.999999999999999".
- 1034508 cpu_core_0 "6.999999999999999".
- 1034533 cpu_core_0 "6.999999999999999".
- 1034537 cpu_core_0 "6.999999999999999".
- 1034589 cpu_core_0 "6.999999999999999".
- 1034665 cpu_core_0 "6.999999999999999".
- 1034711 cpu_core_0 "6.999999999999999".
- 1034777 cpu_core_0 "6.999999999999999".
- 1034816 cpu_core_0 "6.999999999999999".
- 1034865 cpu_core_0 "6.999999999999999".
- 1034880 cpu_core_0 "6.999999999999999".
- 1034900 cpu_core_0 "6.999999999999999".
- 1035021 cpu_core_0 "6.999999999999999".
- 1035187 cpu_core_0 "6.999999999999999".
- 1035411 cpu_core_0 "6.999999999999999".
- 1035422 cpu_core_0 "6.999999999999999".
- 1035471 cpu_core_0 "6.999999999999999".
- 1035540 cpu_core_0 "6.999999999999999".
- 1035568 cpu_core_0 "6.999999999999999".
- 1035686 cpu_core_0 "6.999999999999999".
- 1035698 cpu_core_0 "6.999999999999999".
- 1035803 cpu_core_0 "6.999999999999999".
- 1035850 cpu_core_0 "6.999999999999999".
- 1035858 cpu_core_0 "6.999999999999999".
- 1035897 cpu_core_0 "6.999999999999999".
- 1035922 cpu_core_0 "6.999999999999999".
- 1035947 cpu_core_0 "6.999999999999999".
- 1035949 cpu_core_0 "6.999999999999999".
- 1036027 cpu_core_0 "6.999999999999999".
- 1036039 cpu_core_0 "6.999999999999999".
- 1036229 cpu_core_0 "6.999999999999999".
- 1036302 cpu_core_0 "6.999999999999999".
- 1036413 cpu_core_0 "6.999999999999999".
- 1036446 cpu_core_0 "6.999999999999999".
- 1036470 cpu_core_0 "6.999999999999999".
- 1036492 cpu_core_0 "6.999999999999999".
- 1036542 cpu_core_0 "6.999999999999999".
- 1036781 cpu_core_0 "6.999999999999999".
- 1036814 cpu_core_0 "6.999999999999999".
- 1036835 cpu_core_0 "6.999999999999999".
- 1036902 cpu_core_0 "6.999999999999999".
- 1036930 cpu_core_0 "6.999999999999999".
- 1036955 cpu_core_0 "6.999999999999999".
- 1036958 cpu_core_0 "6.999999999999999".
- 1037007 cpu_core_0 "6.999999999999999".
- 1037064 cpu_core_0 "6.999999999999999".
- 1037065 cpu_core_0 "6.999999999999999".
- 1037126 cpu_core_0 "6.999999999999999".
- 1037132 cpu_core_0 "6.999999999999999".
- 1037137 cpu_core_0 "6.999999999999999".
- 1037157 cpu_core_0 "6.999999999999999".
- 1037190 cpu_core_0 "6.999999999999999".
- 1037219 cpu_core_0 "6.999999999999999".
- 1037338 cpu_core_0 "6.999999999999999".
- 1037340 cpu_core_0 "6.999999999999999".
- 1037489 cpu_core_0 "6.999999999999999".
- 1037501 cpu_core_0 "6.999999999999999".
- 1037631 cpu_core_0 "6.999999999999999".
- 1037698 cpu_core_0 "6.999999999999999".
- 1037837 cpu_core_0 "6.999999999999999".
- 1037890 cpu_core_0 "6.999999999999999".
- 1038007 cpu_core_0 "6.999999999999999".
- 1038026 cpu_core_0 "6.999999999999999".
- 1038034 cpu_core_0 "6.999999999999999".
- 1038137 cpu_core_0 "6.999999999999999".
- 1038142 cpu_core_0 "6.999999999999999".
- 1038204 cpu_core_0 "6.999999999999999".
- 1038211 cpu_core_0 "6.999999999999999".
- 1038295 cpu_core_0 "6.999999999999999".
- 1038360 cpu_core_0 "6.999999999999999".