iters=5 new-facts=1 prior-facts=1 | | mean | 326.501 | | σ | 0.065 | | min | 326.386 | | max | 326.541 |
| | mean | 2612.000 | | σ | 0.000 | | min | 2612.000 | | max | 2612.000 |
| | mean | 0.424 | | σ | 0.000 | | min | 0.424 | | max | 0.425 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.671 | | σ | 0.012 | | min | 1988.652 | | max | 1988.683 |
| | mean | 2612.000 | | σ | 0.000 | | min | 2612.000 | | max | 2612.000 |
| | mean | 2.684 | | σ | 0.088 | | min | 2.616 | | max | 2.837 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.567 | | σ | 7.680 | | min | 4810.004 | | max | 4827.304 |
| | mean | 2612.000 | | σ | 0.000 | | min | 2612.000 | | max | 2612.000 |
| | mean | 8.325 | | σ | 0.462 | | min | 7.714 | | max | 8.923 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5000.865 | | σ | 0.184 | | min | 5000.702 | | max | 5001.081 |
| | mean | 2976.800 | | σ | 275.295 | | min | 2612.000 | | max | 3308.000 |
| | mean | 9.829 | | σ | 0.140 | | min | 9.632 | | max | 9.983 |
|