iters=5 new-facts=1 prior-facts=1 | | mean | 326.453 | | σ | 0.034 | | min | 326.395 | | max | 326.477 |
| | mean | 2825.000 | | σ | 0.000 | | min | 2825.000 | | max | 2825.000 |
| | mean | 0.425 | | σ | 0.001 | | min | 0.423 | | max | 0.426 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.606 | | σ | 0.021 | | min | 1988.583 | | max | 1988.629 |
| | mean | 2825.000 | | σ | 0.000 | | min | 2825.000 | | max | 2825.000 |
| | mean | 2.763 | | σ | 0.287 | | min | 2.526 | | max | 3.258 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.471 | | σ | 7.736 | | min | 4809.903 | | max | 4827.309 |
| | mean | 2825.000 | | σ | 0.000 | | min | 2825.000 | | max | 2825.000 |
| | mean | 8.527 | | σ | 0.518 | | min | 8.005 | | max | 9.273 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5000.878 | | σ | 0.170 | | min | 5000.666 | | max | 5001.018 |
| | mean | 3039.800 | | σ | 208.975 | | min | 2825.000 | | max | 3301.000 |
| | mean | 9.888 | | σ | 0.183 | | min | 9.689 | | max | 10.171 |
|