iters=5 new-facts=1 prior-facts=1 | | mean | 326.512 | | σ | 0.046 | | min | 326.431 | | max | 326.542 |
| | mean | 2828.000 | | σ | 0.000 | | min | 2828.000 | | max | 2828.000 |
| | mean | 0.428 | | σ | 0.006 | | min | 0.423 | | max | 0.435 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.680 | | σ | 0.008 | | min | 1988.672 | | max | 1988.693 |
| | mean | 2828.000 | | σ | 0.000 | | min | 2828.000 | | max | 2828.000 |
| | mean | 2.714 | | σ | 0.167 | | min | 2.545 | | max | 2.995 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.523 | | σ | 7.779 | | min | 4809.976 | | max | 4827.439 |
| | mean | 2828.000 | | σ | 0.000 | | min | 2828.000 | | max | 2828.000 |
| | mean | 8.846 | | σ | 0.437 | | min | 8.276 | | max | 9.494 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.008 | | σ | 0.150 | | min | 5000.743 | | max | 5001.104 |
| | mean | 3047.600 | | σ | 189.527 | | min | 2828.000 | | max | 3313.000 |
| | mean | 9.811 | | σ | 0.169 | | min | 9.678 | | max | 10.032 |
|