iters=5 new-facts=1 prior-facts=1 | | mean | 277.200 | | σ | 0.008 | | min | 277.192 | | max | 277.209 |
| | mean | 2613.000 | | σ | 0.000 | | min | 2613.000 | | max | 2613.000 |
| | mean | 0.410 | | σ | 0.015 | | min | 0.399 | | max | 0.430 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.426 | | σ | 0.016 | | min | 2174.399 | | max | 2174.436 |
| | mean | 2613.000 | | σ | 0.000 | | min | 2613.000 | | max | 2613.000 |
| | mean | 2.825 | | σ | 0.115 | | min | 2.743 | | max | 3.027 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.490 | | σ | 1.121 | | min | 5051.498 | | max | 5054.424 |
| | mean | 2613.000 | | σ | 0.000 | | min | 2613.000 | | max | 2613.000 |
| | mean | 8.929 | | σ | 0.697 | | min | 8.062 | | max | 9.823 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.417 | | σ | 0.095 | | min | 5188.329 | | max | 5188.521 |
| | mean | 3239.200 | | σ | 363.234 | | min | 2830.000 | | max | 3779.000 |
| | mean | 8.758 | | σ | 0.127 | | min | 8.572 | | max | 8.885 |
|