Matches in ISWC2014 Benchmark for { ?s ?p 6.999999999999999. }
- 1038385 cpu_core_0 "6.999999999999999".
- 1038389 cpu_core_0 "6.999999999999999".
- 1038478 cpu_core_0 "6.999999999999999".
- 1038704 cpu_core_0 "6.999999999999999".
- 1038710 cpu_core_0 "6.999999999999999".
- 1038745 cpu_core_0 "6.999999999999999".
- 1038755 cpu_core_0 "6.999999999999999".
- 1038765 cpu_core_0 "6.999999999999999".
- 1038827 cpu_core_0 "6.999999999999999".
- 1038932 cpu_core_0 "6.999999999999999".
- 1038978 cpu_core_0 "6.999999999999999".
- 1039097 cpu_core_0 "6.999999999999999".
- 1039120 cpu_core_0 "6.999999999999999".
- 1039198 cpu_core_0 "6.999999999999999".
- 1039205 cpu_core_0 "6.999999999999999".
- 1039213 cpu_core_0 "6.999999999999999".
- 1039227 cpu_core_0 "6.999999999999999".
- 1039229 cpu_core_0 "6.999999999999999".
- 1039275 cpu_core_0 "6.999999999999999".
- 1039412 cpu_core_0 "6.999999999999999".
- 1039439 cpu_core_0 "6.999999999999999".
- 1039458 cpu_core_0 "6.999999999999999".
- 1039525 cpu_core_0 "6.999999999999999".
- 1039545 cpu_core_0 "6.999999999999999".
- 1039570 cpu_core_0 "6.999999999999999".
- 1039597 cpu_core_0 "6.999999999999999".
- 1039617 cpu_core_0 "6.999999999999999".
- 1039675 cpu_core_0 "6.999999999999999".
- 1039684 cpu_core_0 "6.999999999999999".
- 1039685 cpu_core_0 "6.999999999999999".
- 1039686 cpu_core_0 "6.999999999999999".
- 1039695 cpu_core_0 "6.999999999999999".
- 1039708 cpu_core_0 "6.999999999999999".
- 1039789 cpu_core_0 "6.999999999999999".
- 1039805 cpu_core_0 "6.999999999999999".
- 1039808 cpu_core_0 "6.999999999999999".
- 1039847 cpu_core_0 "6.999999999999999".
- 1039894 cpu_core_0 "6.999999999999999".
- 1039927 cpu_core_0 "6.999999999999999".
- 1039928 cpu_core_0 "6.999999999999999".
- 1039963 cpu_core_0 "6.999999999999999".
- 1040021 cpu_core_0 "6.999999999999999".
- 1040116 cpu_core_0 "6.999999999999999".
- 1040118 cpu_core_0 "6.999999999999999".
- 1040119 cpu_core_0 "6.999999999999999".
- 1040164 cpu_core_0 "6.999999999999999".
- 1040185 cpu_core_0 "6.999999999999999".
- 1040211 cpu_core_0 "6.999999999999999".
- 1040246 cpu_core_0 "6.999999999999999".
- 1040298 cpu_core_0 "6.999999999999999".
- 1040321 cpu_core_0 "6.999999999999999".
- 1040325 cpu_core_0 "6.999999999999999".
- 1040356 cpu_core_0 "6.999999999999999".
- 1040411 cpu_core_0 "6.999999999999999".
- 1040424 cpu_core_0 "6.999999999999999".
- 1040433 cpu_core_0 "6.999999999999999".
- 1040486 cpu_core_0 "6.999999999999999".
- 1040665 cpu_core_0 "6.999999999999999".
- 1040815 cpu_core_0 "6.999999999999999".
- 1040818 cpu_core_0 "6.999999999999999".
- 1040891 cpu_core_0 "6.999999999999999".
- 1040927 cpu_core_0 "6.999999999999999".
- 1040965 cpu_core_0 "6.999999999999999".
- 1041013 cpu_core_0 "6.999999999999999".
- 1041110 cpu_core_0 "6.999999999999999".
- 1041120 cpu_core_0 "6.999999999999999".
- 1041179 cpu_core_0 "6.999999999999999".
- 1041229 cpu_core_0 "6.999999999999999".
- 1041244 cpu_core_0 "6.999999999999999".
- 1041255 cpu_core_0 "6.999999999999999".
- 1041405 cpu_core_0 "6.999999999999999".
- 1041416 cpu_core_0 "6.999999999999999".
- 1041628 cpu_core_0 "6.999999999999999".
- 1041688 cpu_core_0 "6.999999999999999".
- 1041705 cpu_core_0 "6.999999999999999".
- 1041778 cpu_core_0 "6.999999999999999".
- 1041780 cpu_core_0 "6.999999999999999".
- 1041868 cpu_core_0 "6.999999999999999".
- 1041893 cpu_core_0 "6.999999999999999".
- 1041919 cpu_core_0 "6.999999999999999".
- 1041923 cpu_core_0 "6.999999999999999".
- 1041929 cpu_core_0 "6.999999999999999".
- 1041971 cpu_core_0 "6.999999999999999".
- 1041994 cpu_core_0 "6.999999999999999".
- 1042021 cpu_core_0 "6.999999999999999".
- 1042127 cpu_core_0 "6.999999999999999".
- 1042193 cpu_core_0 "6.999999999999999".
- 1042357 cpu_core_0 "6.999999999999999".
- 1042374 cpu_core_0 "6.999999999999999".
- 1042480 cpu_core_0 "6.999999999999999".
- 1042500 cpu_core_0 "6.999999999999999".
- 1042575 cpu_core_0 "6.999999999999999".
- 1042602 cpu_core_0 "6.999999999999999".
- 1042661 cpu_core_0 "6.999999999999999".
- 1042694 cpu_core_0 "6.999999999999999".
- 1042701 cpu_core_0 "6.999999999999999".
- 1042760 cpu_core_0 "6.999999999999999".
- 1042977 cpu_core_0 "6.999999999999999".
- 1042998 cpu_core_0 "6.999999999999999".
- 1043144 cpu_core_0 "6.999999999999999".