Matches in ISWC2014 Benchmark for { ?s ?p 6.999999999999999. }
- 1043162 cpu_core_0 "6.999999999999999".
- 1043206 cpu_core_0 "6.999999999999999".
- 1043220 cpu_core_0 "6.999999999999999".
- 1043357 cpu_core_0 "6.999999999999999".
- 1043442 cpu_core_0 "6.999999999999999".
- 1043443 cpu_core_0 "6.999999999999999".
- 1043542 cpu_core_0 "6.999999999999999".
- 1043574 cpu_core_0 "6.999999999999999".
- 1043652 cpu_core_0 "6.999999999999999".
- 1043679 cpu_core_0 "6.999999999999999".
- 1043728 cpu_core_0 "6.999999999999999".
- 1043755 cpu_core_0 "6.999999999999999".
- 1043768 cpu_core_0 "6.999999999999999".
- 1043811 cpu_core_0 "6.999999999999999".
- 1043881 cpu_core_0 "6.999999999999999".
- 1043916 cpu_core_0 "6.999999999999999".
- 1043917 cpu_core_0 "6.999999999999999".
- 1043921 cpu_core_0 "6.999999999999999".
- 1043967 cpu_core_0 "6.999999999999999".
- 1043986 cpu_core_0 "6.999999999999999".
- 1043995 cpu_core_0 "6.999999999999999".
- 1044010 cpu_core_0 "6.999999999999999".
- 1044079 cpu_core_0 "6.999999999999999".
- 1044105 cpu_core_0 "6.999999999999999".
- 1044259 cpu_core_0 "6.999999999999999".
- 1044535 cpu_core_0 "6.999999999999999".
- 1044640 cpu_core_0 "6.999999999999999".
- 1044644 cpu_core_0 "6.999999999999999".
- 1044668 cpu_core_0 "6.999999999999999".
- 1044682 cpu_core_0 "6.999999999999999".
- 1044693 cpu_core_0 "6.999999999999999".
- 1044702 cpu_core_0 "6.999999999999999".
- 1044917 cpu_core_0 "6.999999999999999".
- 1044942 cpu_core_0 "6.999999999999999".
- 1044944 cpu_core_0 "6.999999999999999".
- 1045017 cpu_core_0 "6.999999999999999".
- 1045053 cpu_core_0 "6.999999999999999".
- 1045064 cpu_core_0 "6.999999999999999".
- 1045175 cpu_core_0 "6.999999999999999".
- 1045213 cpu_core_0 "6.999999999999999".
- 1045220 cpu_core_0 "6.999999999999999".
- 1045245 cpu_core_0 "6.999999999999999".
- 1045253 cpu_core_0 "6.999999999999999".
- 1045451 cpu_core_0 "6.999999999999999".
- 1045463 cpu_core_0 "6.999999999999999".
- 1045479 cpu_core_0 "6.999999999999999".
- 1045518 cpu_core_0 "6.999999999999999".
- 1045543 cpu_core_0 "6.999999999999999".
- 1045587 cpu_core_0 "6.999999999999999".
- 1045624 cpu_core_0 "6.999999999999999".
- 1045668 cpu_core_0 "6.999999999999999".
- 1045719 cpu_core_0 "6.999999999999999".
- 1045758 cpu_core_0 "6.999999999999999".
- 1045825 cpu_core_0 "6.999999999999999".
- 1045839 cpu_core_0 "6.999999999999999".
- 1045858 cpu_core_0 "6.999999999999999".
- 1045901 cpu_core_0 "6.999999999999999".
- 1045943 cpu_core_0 "6.999999999999999".
- 1045986 cpu_core_0 "6.999999999999999".
- 1046074 cpu_core_0 "6.999999999999999".
- 1046107 cpu_core_0 "6.999999999999999".
- 1046108 cpu_core_0 "6.999999999999999".
- 1046114 cpu_core_0 "6.999999999999999".
- 1046131 cpu_core_0 "6.999999999999999".
- 1046222 cpu_core_0 "6.999999999999999".
- 1046227 cpu_core_0 "6.999999999999999".
- 1046331 cpu_core_0 "6.999999999999999".
- 1046342 cpu_core_0 "6.999999999999999".
- 1046346 cpu_core_0 "6.999999999999999".
- 1046434 cpu_core_0 "6.999999999999999".
- 1046475 cpu_core_0 "6.999999999999999".
- 1046545 cpu_core_0 "6.999999999999999".
- 1046550 cpu_core_0 "6.999999999999999".
- 1046585 cpu_core_0 "6.999999999999999".
- 1046589 cpu_core_0 "6.999999999999999".
- 1046616 cpu_core_0 "6.999999999999999".
- 1046687 cpu_core_0 "6.999999999999999".
- 1046691 cpu_core_0 "6.999999999999999".
- 1046725 cpu_core_0 "6.999999999999999".
- 1046729 cpu_core_0 "6.999999999999999".
- 1046841 cpu_core_0 "6.999999999999999".
- 1046849 cpu_core_0 "6.999999999999999".
- 1046850 cpu_core_0 "6.999999999999999".
- 1046915 cpu_core_0 "6.999999999999999".
- 1046977 cpu_core_0 "6.999999999999999".
- 1047086 cpu_core_0 "6.999999999999999".
- 1047148 cpu_core_0 "6.999999999999999".
- 1047193 cpu_core_0 "6.999999999999999".
- 1047195 cpu_core_0 "6.999999999999999".
- 1047222 cpu_core_0 "6.999999999999999".
- 1047290 cpu_core_0 "6.999999999999999".
- 1047453 cpu_core_0 "6.999999999999999".
- 1047550 cpu_core_0 "6.999999999999999".
- 1047568 cpu_core_0 "6.999999999999999".
- 1047651 cpu_core_0 "6.999999999999999".
- 1047668 cpu_core_0 "6.999999999999999".
- 1047742 cpu_core_0 "6.999999999999999".
- 1047852 cpu_core_0 "6.999999999999999".
- 1047853 cpu_core_0 "6.999999999999999".
- 1048007 cpu_core_0 "6.999999999999999".