iters=5 new-facts=1 prior-facts=1 | | mean | 326.644 | | σ | 0.046 | | min | 326.563 | | max | 326.679 |
| | mean | 2824.000 | | σ | 0.000 | | min | 2824.000 | | max | 2824.000 |
| | mean | 0.428 | | σ | 0.005 | | min | 0.423 | | max | 0.435 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.791 | | σ | 0.020 | | min | 1988.773 | | max | 1988.819 |
| | mean | 2824.000 | | σ | 0.000 | | min | 2824.000 | | max | 2824.000 |
| | mean | 2.775 | | σ | 0.150 | | min | 2.595 | | max | 2.925 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.536 | | σ | 7.793 | | min | 4809.569 | | max | 4827.468 |
| | mean | 2824.000 | | σ | 0.000 | | min | 2824.000 | | max | 2824.000 |
| | mean | 8.677 | | σ | 0.623 | | min | 7.866 | | max | 9.298 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.213 | | σ | 0.033 | | min | 5001.183 | | max | 5001.261 |
| | mean | 3016.000 | | σ | 261.583 | | min | 2824.000 | | max | 3423.000 |
| | mean | 9.916 | | σ | 0.162 | | min | 9.777 | | max | 10.142 |
|