iters=5 new-facts=1 prior-facts=1 | | mean | 324.000 | | σ | 0.055 | | min | 323.902 | | max | 324.033 |
| | mean | 2899.000 | | σ | 0.000 | | min | 2899.000 | | max | 2899.000 |
| | mean | 0.430 | | σ | 0.007 | | min | 0.424 | | max | 0.439 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1984.578 | | σ | 0.015 | | min | 1984.554 | | max | 1984.592 |
| | mean | 2899.000 | | σ | 0.000 | | min | 2899.000 | | max | 2899.000 |
| | mean | 2.567 | | σ | 0.072 | | min | 2.496 | | max | 2.685 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.224 | | σ | 7.814 | | min | 4804.642 | | max | 4822.201 |
| | mean | 2899.000 | | σ | 0.000 | | min | 2899.000 | | max | 2899.000 |
| | mean | 8.967 | | σ | 0.213 | | min | 8.720 | | max | 9.303 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4995.788 | | σ | 0.028 | | min | 4995.759 | | max | 4995.821 |
| | mean | 3074.000 | | σ | 240.269 | | min | 2899.000 | | max | 3437.000 |
| | mean | 8.507 | | σ | 0.084 | | min | 8.455 | | max | 8.654 |
|