iters=5 new-facts=1 prior-facts=1 | | mean | 273.610 | | σ | 0.007 | | min | 273.601 | | max | 273.618 |
| | mean | 2845.000 | | σ | 0.000 | | min | 2845.000 | | max | 2845.000 |
| | mean | 0.387 | | σ | 0.010 | | min | 0.379 | | max | 0.403 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1934.001 | | σ | 0.019 | | min | 1933.973 | | max | 1934.023 |
| | mean | 2845.000 | | σ | 0.000 | | min | 2845.000 | | max | 2845.000 |
| | mean | 3.104 | | σ | 0.328 | | min | 2.870 | | max | 3.679 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4614.224 | | σ | 314.523 | | min | 4051.591 | | max | 4756.329 |
| | mean | 2845.000 | | σ | 0.000 | | min | 2845.000 | | max | 2845.000 |
| | mean | 8.139 | | σ | 0.723 | | min | 7.017 | | max | 8.790 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.220 | | σ | 0.015 | | min | 4945.202 | | max | 4945.244 |
| | mean | 3025.200 | | σ | 263.403 | | min | 2845.000 | | max | 3445.000 |
| | mean | 8.567 | | σ | 0.185 | | min | 8.413 | | max | 8.792 |
|