iters=5 new-facts=1 prior-facts=1 | | mean | 326.439 | | σ | 0.055 | | min | 326.341 | | max | 326.477 |
| | mean | 2700.000 | | σ | 0.000 | | min | 2700.000 | | max | 2700.000 |
| | mean | 0.427 | | σ | 0.010 | | min | 0.420 | | max | 0.444 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.608 | | σ | 0.018 | | min | 1988.588 | | max | 1988.628 |
| | mean | 2700.000 | | σ | 0.000 | | min | 2700.000 | | max | 2700.000 |
| | mean | 2.679 | | σ | 0.165 | | min | 2.545 | | max | 2.962 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.464 | | σ | 7.725 | | min | 4809.907 | | max | 4827.282 |
| | mean | 2700.000 | | σ | 0.000 | | min | 2700.000 | | max | 2700.000 |
| | mean | 8.836 | | σ | 0.461 | | min | 8.272 | | max | 9.411 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.015 | | σ | 0.033 | | min | 5000.982 | | max | 5001.060 |
| | mean | 2969.000 | | σ | 234.013 | | min | 2700.000 | | max | 3294.000 |
| | mean | 9.793 | | σ | 0.301 | | min | 9.480 | | max | 10.253 |
|