Matches in ISWC2014 Benchmark for { ?s ?p 6.999999999999999. }
- 1087340 cpu_core_0 "6.999999999999999".
- 1087686 cpu_core_0 "6.999999999999999".
- 1087732 cpu_core_0 "6.999999999999999".
- 1087746 cpu_core_0 "6.999999999999999".
- 1087780 cpu_core_0 "6.999999999999999".
- 1087787 cpu_core_0 "6.999999999999999".
- 1087864 cpu_core_0 "6.999999999999999".
- 1088001 cpu_core_0 "6.999999999999999".
- 1088144 cpu_core_0 "6.999999999999999".
- 1088304 cpu_core_0 "6.999999999999999".
- 1088371 cpu_core_0 "6.999999999999999".
- 1088496 cpu_core_0 "6.999999999999999".
- 1088511 cpu_core_0 "6.999999999999999".
- 1088603 cpu_core_0 "6.999999999999999".
- 1088607 cpu_core_0 "6.999999999999999".
- 1088756 cpu_core_0 "6.999999999999999".
- 1088779 cpu_core_0 "6.999999999999999".
- 1088846 cpu_core_0 "6.999999999999999".
- 1088860 cpu_core_0 "6.999999999999999".
- 1088936 cpu_core_0 "6.999999999999999".
- 1089016 cpu_core_0 "6.999999999999999".
- 1089084 cpu_core_0 "6.999999999999999".
- 1089232 cpu_core_0 "6.999999999999999".
- 1089432 cpu_core_0 "6.999999999999999".
- 1089538 cpu_core_0 "6.999999999999999".
- 1089748 cpu_core_0 "6.999999999999999".
- 1089799 cpu_core_0 "6.999999999999999".
- 1089803 cpu_core_0 "6.999999999999999".
- 1089848 cpu_core_0 "6.999999999999999".
- 1090024 cpu_core_0 "6.999999999999999".
- 1090462 cpu_core_0 "6.999999999999999".
- 1090474 cpu_core_0 "6.999999999999999".
- 1090514 cpu_core_0 "6.999999999999999".
- 1090597 cpu_core_0 "6.999999999999999".
- 1090616 cpu_core_0 "6.999999999999999".
- 1090635 cpu_core_0 "6.999999999999999".
- 1090658 cpu_core_0 "6.999999999999999".
- 1090668 cpu_core_0 "6.999999999999999".
- 1090727 cpu_core_0 "6.999999999999999".
- 1090732 cpu_core_0 "6.999999999999999".
- 1090767 cpu_core_0 "6.999999999999999".
- 1090885 cpu_core_0 "6.999999999999999".
- 1091065 cpu_core_0 "6.999999999999999".
- 1091151 cpu_core_0 "6.999999999999999".
- 1091178 cpu_core_0 "6.999999999999999".
- 1091190 cpu_core_0 "6.999999999999999".
- 1091303 cpu_core_0 "6.999999999999999".
- 1091305 cpu_core_0 "6.999999999999999".
- 1091341 cpu_core_0 "6.999999999999999".
- 1091380 cpu_core_0 "6.999999999999999".
- 1091381 cpu_core_0 "6.999999999999999".
- 1091392 cpu_core_0 "6.999999999999999".
- 1091447 cpu_core_0 "6.999999999999999".
- 1091475 cpu_core_0 "6.999999999999999".
- 1091484 cpu_core_0 "6.999999999999999".
- 1091494 cpu_core_0 "6.999999999999999".
- 1091516 cpu_core_0 "6.999999999999999".
- 1091548 cpu_core_0 "6.999999999999999".
- 1091562 cpu_core_0 "6.999999999999999".
- 1091590 cpu_core_0 "6.999999999999999".
- 1091606 cpu_core_0 "6.999999999999999".
- 1091707 cpu_core_0 "6.999999999999999".
- 1091775 cpu_core_0 "6.999999999999999".
- 1091787 cpu_core_0 "6.999999999999999".
- 1091814 cpu_core_0 "6.999999999999999".
- 1091832 cpu_core_0 "6.999999999999999".
- 1091909 cpu_core_0 "6.999999999999999".
- 1091933 cpu_core_0 "6.999999999999999".
- 1091973 cpu_core_0 "6.999999999999999".
- 1091975 cpu_core_0 "6.999999999999999".
- 1092186 cpu_core_0 "6.999999999999999".
- 1092214 cpu_core_0 "6.999999999999999".
- 1092268 cpu_core_0 "6.999999999999999".
- 1092297 cpu_core_0 "6.999999999999999".
- 1092342 cpu_core_0 "6.999999999999999".
- 1092391 cpu_core_0 "6.999999999999999".
- 1092420 cpu_core_0 "6.999999999999999".
- 1092431 cpu_core_0 "6.999999999999999".
- 1092437 cpu_core_0 "6.999999999999999".
- 1092504 cpu_core_0 "6.999999999999999".
- 1092620 cpu_core_0 "6.999999999999999".
- 1092887 cpu_core_0 "6.999999999999999".
- 1092986 cpu_core_0 "6.999999999999999".
- 1092990 cpu_core_0 "6.999999999999999".
- 1092999 cpu_core_0 "6.999999999999999".
- 1093041 cpu_core_0 "6.999999999999999".
- 1093053 cpu_core_0 "6.999999999999999".
- 1093227 cpu_core_0 "6.999999999999999".
- 1093236 cpu_core_0 "6.999999999999999".
- 1093400 cpu_core_0 "6.999999999999999".
- 1093436 cpu_core_0 "6.999999999999999".
- 1093459 cpu_core_0 "6.999999999999999".
- 1093574 cpu_core_0 "6.999999999999999".
- 1093626 cpu_core_0 "6.999999999999999".
- 1093646 cpu_core_0 "6.999999999999999".
- 1093677 cpu_core_0 "6.999999999999999".
- 1093700 cpu_core_0 "6.999999999999999".
- 1093742 cpu_core_0 "6.999999999999999".
- 1094003 cpu_core_0 "6.999999999999999".
- 1094007 cpu_core_0 "6.999999999999999".