iters=5 new-facts=1 prior-facts=1 | | mean | 324.749 | | σ | 0.029 | | min | 324.701 | | max | 324.780 |
| | mean | 2830.000 | | σ | 0.000 | | min | 2830.000 | | max | 2830.000 |
| | mean | 0.417 | | σ | 0.002 | | min | 0.415 | | max | 0.419 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.310 | | σ | 0.013 | | min | 1985.303 | | max | 1985.333 |
| | mean | 2830.000 | | σ | 0.000 | | min | 2830.000 | | max | 2830.000 |
| | mean | 2.640 | | σ | 0.081 | | min | 2.549 | | max | 2.737 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4809.016 | | σ | 7.779 | | min | 4805.013 | | max | 4822.920 |
| | mean | 2830.000 | | σ | 0.000 | | min | 2830.000 | | max | 2830.000 |
| | mean | 8.656 | | σ | 0.567 | | min | 7.836 | | max | 9.173 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.628 | | σ | 0.025 | | min | 4996.600 | | max | 4996.657 |
| | mean | 3060.800 | | σ | 301.024 | | min | 2830.000 | | max | 3522.000 |
| | mean | 8.467 | | σ | 0.101 | | min | 8.393 | | max | 8.645 |
|