Matches in ISWC2014 Benchmark for { ?s ?p 6.999999999999999. }
- 1069956 cpu_core_0 "6.999999999999999".
- 1069965 cpu_core_0 "6.999999999999999".
- 1069967 cpu_core_0 "6.999999999999999".
- 1070004 cpu_core_0 "6.999999999999999".
- 1070013 cpu_core_0 "6.999999999999999".
- 1070041 cpu_core_0 "6.999999999999999".
- 1070099 cpu_core_0 "6.999999999999999".
- 1070109 cpu_core_0 "6.999999999999999".
- 1070112 cpu_core_0 "6.999999999999999".
- 1070125 cpu_core_0 "6.999999999999999".
- 1070239 cpu_core_0 "6.999999999999999".
- 1070477 cpu_core_0 "6.999999999999999".
- 1070537 cpu_core_0 "6.999999999999999".
- 1070557 cpu_core_0 "6.999999999999999".
- 1070583 cpu_core_0 "6.999999999999999".
- 1070598 cpu_core_0 "6.999999999999999".
- 1070633 cpu_core_0 "6.999999999999999".
- 1070799 cpu_core_0 "6.999999999999999".
- 1070833 cpu_core_0 "6.999999999999999".
- 1070873 cpu_core_0 "6.999999999999999".
- 1070888 cpu_core_0 "6.999999999999999".
- 1070890 cpu_core_0 "6.999999999999999".
- 1070974 cpu_core_0 "6.999999999999999".
- 1070999 cpu_core_0 "6.999999999999999".
- 1071001 cpu_core_0 "6.999999999999999".
- 1071155 cpu_core_0 "6.999999999999999".
- 1071196 cpu_core_0 "6.999999999999999".
- 1071198 cpu_core_0 "6.999999999999999".
- 1071199 cpu_core_0 "6.999999999999999".
- 1071209 cpu_core_0 "6.999999999999999".
- 1071258 cpu_core_0 "6.999999999999999".
- 1071379 cpu_core_0 "6.999999999999999".
- 1071415 cpu_core_0 "6.999999999999999".
- 1071507 cpu_core_0 "6.999999999999999".
- 1071727 cpu_core_0 "6.999999999999999".
- 1071761 cpu_core_0 "6.999999999999999".
- 1071775 cpu_core_0 "6.999999999999999".
- 1071819 cpu_core_0 "6.999999999999999".
- 1071919 cpu_core_0 "6.999999999999999".
- 1071929 cpu_core_0 "6.999999999999999".
- 1071968 cpu_core_0 "6.999999999999999".
- 1072052 cpu_core_0 "6.999999999999999".
- 1072112 cpu_core_0 "6.999999999999999".
- 1072143 cpu_core_0 "6.999999999999999".
- 1072229 cpu_core_0 "6.999999999999999".
- 1072284 cpu_core_0 "6.999999999999999".
- 1072286 cpu_core_0 "6.999999999999999".
- 1072459 cpu_core_0 "6.999999999999999".
- 1072516 cpu_core_0 "6.999999999999999".
- 1072626 cpu_core_0 "6.999999999999999".
- 1072654 cpu_core_0 "6.999999999999999".
- 1073168 cpu_core_0 "6.999999999999999".
- 1073216 cpu_core_0 "6.999999999999999".
- 1073241 cpu_core_0 "6.999999999999999".
- 1073288 cpu_core_0 "6.999999999999999".
- 1073369 cpu_core_0 "6.999999999999999".
- 1073382 cpu_core_0 "6.999999999999999".
- 1073486 cpu_core_0 "6.999999999999999".
- 1073514 cpu_core_0 "6.999999999999999".
- 1073515 cpu_core_0 "6.999999999999999".
- 1073600 cpu_core_0 "6.999999999999999".
- 1073604 cpu_core_0 "6.999999999999999".
- 1073630 cpu_core_0 "6.999999999999999".
- 1073633 cpu_core_0 "6.999999999999999".
- 1073713 cpu_core_0 "6.999999999999999".
- 1073733 cpu_core_0 "6.999999999999999".
- 1073763 cpu_core_0 "6.999999999999999".
- 1073767 cpu_core_0 "6.999999999999999".
- 1073845 cpu_core_0 "6.999999999999999".
- 1073868 cpu_core_0 "6.999999999999999".
- 1073914 cpu_core_0 "6.999999999999999".
- 1073973 cpu_core_0 "6.999999999999999".
- 1074011 cpu_core_0 "6.999999999999999".
- 1074012 cpu_core_0 "6.999999999999999".
- 1074067 cpu_core_0 "6.999999999999999".
- 1074089 cpu_core_0 "6.999999999999999".
- 1074126 cpu_core_0 "6.999999999999999".
- 1074169 cpu_core_0 "6.999999999999999".
- 1074170 cpu_core_0 "6.999999999999999".
- 1074173 cpu_core_0 "6.999999999999999".
- 1074180 cpu_core_0 "6.999999999999999".
- 1074187 cpu_core_0 "6.999999999999999".
- 1074206 cpu_core_0 "6.999999999999999".
- 1074221 cpu_core_0 "6.999999999999999".
- 1074285 cpu_core_0 "6.999999999999999".
- 1074326 cpu_core_0 "6.999999999999999".
- 1074334 cpu_core_0 "6.999999999999999".
- 1074407 cpu_core_0 "6.999999999999999".
- 1074487 cpu_core_0 "6.999999999999999".
- 1074689 cpu_core_0 "6.999999999999999".
- 1074722 cpu_core_0 "6.999999999999999".
- 1075218 cpu_core_0 "6.999999999999999".
- 1075363 cpu_core_0 "6.999999999999999".
- 1075515 cpu_core_0 "6.999999999999999".
- 1075550 cpu_core_0 "6.999999999999999".
- 1075613 cpu_core_0 "6.999999999999999".
- 1075622 cpu_core_0 "6.999999999999999".
- 1075634 cpu_core_0 "6.999999999999999".
- 1075641 cpu_core_0 "6.999999999999999".
- 1075713 cpu_core_0 "6.999999999999999".