Matches in ISWC2014 Benchmark for { ?s ?p 6.999999999999999. }
- 1052948 cpu_core_0 "6.999999999999999".
- 1053029 cpu_core_0 "6.999999999999999".
- 1053069 cpu_core_0 "6.999999999999999".
- 1053190 cpu_core_0 "6.999999999999999".
- 1053202 cpu_core_0 "6.999999999999999".
- 1053231 cpu_core_0 "6.999999999999999".
- 1053259 cpu_core_0 "6.999999999999999".
- 1053260 cpu_core_0 "6.999999999999999".
- 1053277 cpu_core_0 "6.999999999999999".
- 1053282 cpu_core_0 "6.999999999999999".
- 1053305 cpu_core_0 "6.999999999999999".
- 1053317 cpu_core_0 "6.999999999999999".
- 1053352 cpu_core_0 "6.999999999999999".
- 1053359 cpu_core_0 "6.999999999999999".
- 1053460 cpu_core_0 "6.999999999999999".
- 1053463 cpu_core_0 "6.999999999999999".
- 1053590 cpu_core_0 "6.999999999999999".
- 1053613 cpu_core_0 "6.999999999999999".
- 1053668 cpu_core_0 "6.999999999999999".
- 1053737 cpu_core_0 "6.999999999999999".
- 1053834 cpu_core_0 "6.999999999999999".
- 1053996 cpu_core_0 "6.999999999999999".
- 1054117 cpu_core_0 "6.999999999999999".
- 1054243 cpu_core_0 "6.999999999999999".
- 1054275 cpu_core_0 "6.999999999999999".
- 1054299 cpu_core_0 "6.999999999999999".
- 1054449 cpu_core_0 "6.999999999999999".
- 1054456 cpu_core_0 "6.999999999999999".
- 1054465 cpu_core_0 "6.999999999999999".
- 1054485 cpu_core_0 "6.999999999999999".
- 1054524 cpu_core_0 "6.999999999999999".
- 1054531 cpu_core_0 "6.999999999999999".
- 1054535 cpu_core_0 "6.999999999999999".
- 1054579 cpu_core_0 "6.999999999999999".
- 1054580 cpu_core_0 "6.999999999999999".
- 1054601 cpu_core_0 "6.999999999999999".
- 1054731 cpu_core_0 "6.999999999999999".
- 1054748 cpu_core_0 "6.999999999999999".
- 1054910 cpu_core_0 "6.999999999999999".
- 1055060 cpu_core_0 "6.999999999999999".
- 1055236 cpu_core_0 "6.999999999999999".
- 1055252 cpu_core_0 "6.999999999999999".
- 1055263 cpu_core_0 "6.999999999999999".
- 1055272 cpu_core_0 "6.999999999999999".
- 1055306 cpu_core_0 "6.999999999999999".
- 1055342 cpu_core_0 "6.999999999999999".
- 1055376 cpu_core_0 "6.999999999999999".
- 1055377 cpu_core_0 "6.999999999999999".
- 1055389 cpu_core_0 "6.999999999999999".
- 1055420 cpu_core_0 "6.999999999999999".
- 1055421 cpu_core_0 "6.999999999999999".
- 1055474 cpu_core_0 "6.999999999999999".
- 1055499 cpu_core_0 "6.999999999999999".
- 1055525 cpu_core_0 "6.999999999999999".
- 1056151 cpu_core_0 "6.999999999999999".
- 1056289 cpu_core_0 "6.999999999999999".
- 1056355 cpu_core_0 "6.999999999999999".
- 1056380 cpu_core_0 "6.999999999999999".
- 1056419 cpu_core_0 "6.999999999999999".
- 1056466 cpu_core_0 "6.999999999999999".
- 1056487 cpu_core_0 "6.999999999999999".
- 1056493 cpu_core_0 "6.999999999999999".
- 1056548 cpu_core_0 "6.999999999999999".
- 1056696 cpu_core_0 "6.999999999999999".
- 1056698 cpu_core_0 "6.999999999999999".
- 1056827 cpu_core_0 "6.999999999999999".
- 1056835 cpu_core_0 "6.999999999999999".
- 1056857 cpu_core_0 "6.999999999999999".
- 1056943 cpu_core_0 "6.999999999999999".
- 1056986 cpu_core_0 "6.999999999999999".
- 1057108 cpu_core_0 "6.999999999999999".
- 1057133 cpu_core_0 "6.999999999999999".
- 1057135 cpu_core_0 "6.999999999999999".
- 1057214 cpu_core_0 "6.999999999999999".
- 1057297 cpu_core_0 "6.999999999999999".
- 1057347 cpu_core_0 "6.999999999999999".
- 1057405 cpu_core_0 "6.999999999999999".
- 1057540 cpu_core_0 "6.999999999999999".
- 1057675 cpu_core_0 "6.999999999999999".
- 1057683 cpu_core_0 "6.999999999999999".
- 1057692 cpu_core_0 "6.999999999999999".
- 1057732 cpu_core_0 "6.999999999999999".
- 1057770 cpu_core_0 "6.999999999999999".
- 1057878 cpu_core_0 "6.999999999999999".
- 1057911 cpu_core_0 "6.999999999999999".
- 1057912 cpu_core_0 "6.999999999999999".
- 1057938 cpu_core_0 "6.999999999999999".
- 1057949 cpu_core_0 "6.999999999999999".
- 1058137 cpu_core_0 "6.999999999999999".
- 1058158 cpu_core_0 "6.999999999999999".
- 1058193 cpu_core_0 "6.999999999999999".
- 1058194 cpu_core_0 "6.999999999999999".
- 1058221 cpu_core_0 "6.999999999999999".
- 1058233 cpu_core_0 "6.999999999999999".
- 1058289 cpu_core_0 "6.999999999999999".
- 1058365 cpu_core_0 "6.999999999999999".
- 1058418 cpu_core_0 "6.999999999999999".
- 1058511 cpu_core_0 "6.999999999999999".
- 1058546 cpu_core_0 "6.999999999999999".
- 1058608 cpu_core_0 "6.999999999999999".