iters=5 new-facts=1 prior-facts=1 | | mean | 326.447 | | σ | 0.055 | | min | 326.350 | | max | 326.486 |
| | mean | 2592.000 | | σ | 0.000 | | min | 2592.000 | | max | 2592.000 |
| | mean | 0.435 | | σ | 0.012 | | min | 0.423 | | max | 0.447 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.613 | | σ | 0.009 | | min | 1988.598 | | max | 1988.620 |
| | mean | 2592.000 | | σ | 0.000 | | min | 2592.000 | | max | 2592.000 |
| | mean | 2.717 | | σ | 0.089 | | min | 2.634 | | max | 2.815 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.471 | | σ | 7.710 | | min | 4809.986 | | max | 4827.262 |
| | mean | 2592.000 | | σ | 0.000 | | min | 2592.000 | | max | 2592.000 |
| | mean | 9.068 | | σ | 0.311 | | min | 8.625 | | max | 9.472 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.008 | | σ | 0.023 | | min | 5000.983 | | max | 5001.035 |
| | mean | 2966.600 | | σ | 260.052 | | min | 2632.000 | | max | 3305.000 |
| | mean | 9.474 | | σ | 0.315 | | min | 9.170 | | max | 9.939 |
|