Matches in ISWC2014 Benchmark for { ?s ?p 6.999999999999999. }
- 1082072 cpu_core_0 "6.999999999999999".
- 1082075 cpu_core_0 "6.999999999999999".
- 1082109 cpu_core_0 "6.999999999999999".
- 1082131 cpu_core_0 "6.999999999999999".
- 1082205 cpu_core_0 "6.999999999999999".
- 1082243 cpu_core_0 "6.999999999999999".
- 1082331 cpu_core_0 "6.999999999999999".
- 1082374 cpu_core_0 "6.999999999999999".
- 1082466 cpu_core_0 "6.999999999999999".
- 1082571 cpu_core_0 "6.999999999999999".
- 1082572 cpu_core_0 "6.999999999999999".
- 1082661 cpu_core_0 "6.999999999999999".
- 1082740 cpu_core_0 "6.999999999999999".
- 1082760 cpu_core_0 "6.999999999999999".
- 1082768 cpu_core_0 "6.999999999999999".
- 1082793 cpu_core_0 "6.999999999999999".
- 1082815 cpu_core_0 "6.999999999999999".
- 1082827 cpu_core_0 "6.999999999999999".
- 1082976 cpu_core_0 "6.999999999999999".
- 1083021 cpu_core_0 "6.999999999999999".
- 1083071 cpu_core_0 "6.999999999999999".
- 1083136 cpu_core_0 "6.999999999999999".
- 1083164 cpu_core_0 "6.999999999999999".
- 1083396 cpu_core_0 "6.999999999999999".
- 1083493 cpu_core_0 "6.999999999999999".
- 1083527 cpu_core_0 "6.999999999999999".
- 1083626 cpu_core_0 "6.999999999999999".
- 1083649 cpu_core_0 "6.999999999999999".
- 1083652 cpu_core_0 "6.999999999999999".
- 1083708 cpu_core_0 "6.999999999999999".
- 1083709 cpu_core_0 "6.999999999999999".
- 1083714 cpu_core_0 "6.999999999999999".
- 1083740 cpu_core_0 "6.999999999999999".
- 1083760 cpu_core_0 "6.999999999999999".
- 1083784 cpu_core_0 "6.999999999999999".
- 1083866 cpu_core_0 "6.999999999999999".
- 1083897 cpu_core_0 "6.999999999999999".
- 1083910 cpu_core_0 "6.999999999999999".
- 1084179 cpu_core_0 "6.999999999999999".
- 1084195 cpu_core_0 "6.999999999999999".
- 1084197 cpu_core_0 "6.999999999999999".
- 1084285 cpu_core_0 "6.999999999999999".
- 1084452 cpu_core_0 "6.999999999999999".
- 1084466 cpu_core_0 "6.999999999999999".
- 1084496 cpu_core_0 "6.999999999999999".
- 1084578 cpu_core_0 "6.999999999999999".
- 1084971 cpu_core_0 "6.999999999999999".
- 1084975 cpu_core_0 "6.999999999999999".
- 1085002 cpu_core_0 "6.999999999999999".
- 1085011 cpu_core_0 "6.999999999999999".
- 1085020 cpu_core_0 "6.999999999999999".
- 1085112 cpu_core_0 "6.999999999999999".
- 1085173 cpu_core_0 "6.999999999999999".
- 1085191 cpu_core_0 "6.999999999999999".
- 1085231 cpu_core_0 "6.999999999999999".
- 1085236 cpu_core_0 "6.999999999999999".
- 1085245 cpu_core_0 "6.999999999999999".
- 1085417 cpu_core_0 "6.999999999999999".
- 1085451 cpu_core_0 "6.999999999999999".
- 1085475 cpu_core_0 "6.999999999999999".
- 1085525 cpu_core_0 "6.999999999999999".
- 1085547 cpu_core_0 "6.999999999999999".
- 1085566 cpu_core_0 "6.999999999999999".
- 1085641 cpu_core_0 "6.999999999999999".
- 1085863 cpu_core_0 "6.999999999999999".
- 1085895 cpu_core_0 "6.999999999999999".
- 1085912 cpu_core_0 "6.999999999999999".
- 1085934 cpu_core_0 "6.999999999999999".
- 1086051 cpu_core_0 "6.999999999999999".
- 1086102 cpu_core_0 "6.999999999999999".
- 1086127 cpu_core_0 "6.999999999999999".
- 1086190 cpu_core_0 "6.999999999999999".
- 1086195 cpu_core_0 "6.999999999999999".
- 1086212 cpu_core_0 "6.999999999999999".
- 1086233 cpu_core_0 "6.999999999999999".
- 1086234 cpu_core_0 "6.999999999999999".
- 1086267 cpu_core_0 "6.999999999999999".
- 1086322 cpu_core_0 "6.999999999999999".
- 1086323 cpu_core_0 "6.999999999999999".
- 1086363 cpu_core_0 "6.999999999999999".
- 1086422 cpu_core_0 "6.999999999999999".
- 1086593 cpu_core_0 "6.999999999999999".
- 1086600 cpu_core_0 "6.999999999999999".
- 1086684 cpu_core_0 "6.999999999999999".
- 1086705 cpu_core_0 "6.999999999999999".
- 1086712 cpu_core_0 "6.999999999999999".
- 1086718 cpu_core_0 "6.999999999999999".
- 1086724 cpu_core_0 "6.999999999999999".
- 1086769 cpu_core_0 "6.999999999999999".
- 1086825 cpu_core_0 "6.999999999999999".
- 1086844 cpu_core_0 "6.999999999999999".
- 1086894 cpu_core_0 "6.999999999999999".
- 1086941 cpu_core_0 "6.999999999999999".
- 1086955 cpu_core_0 "6.999999999999999".
- 1087037 cpu_core_0 "6.999999999999999".
- 1087103 cpu_core_0 "6.999999999999999".
- 1087110 cpu_core_0 "6.999999999999999".
- 1087134 cpu_core_0 "6.999999999999999".
- 1087326 cpu_core_0 "6.999999999999999".
- 1087336 cpu_core_0 "6.999999999999999".