iters=5 new-facts=1 prior-facts=1 | | mean | 324.700 | | σ | 0.063 | | min | 324.589 | | max | 324.738 |
| | mean | 2830.000 | | σ | 0.000 | | min | 2830.000 | | max | 2830.000 |
| | mean | 0.437 | | σ | 0.010 | | min | 0.424 | | max | 0.450 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.262 | | σ | 0.011 | | min | 1985.244 | | max | 1985.273 |
| | mean | 2830.000 | | σ | 0.000 | | min | 2830.000 | | max | 2830.000 |
| | mean | 2.681 | | σ | 0.137 | | min | 2.551 | | max | 2.882 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.780 | | σ | 7.754 | | min | 4805.067 | | max | 4822.648 |
| | mean | 2830.000 | | σ | 0.000 | | min | 2830.000 | | max | 2830.000 |
| | mean | 8.568 | | σ | 0.662 | | min | 7.766 | | max | 9.099 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.454 | | σ | 0.024 | | min | 4996.423 | | max | 4996.477 |
| | mean | 3060.400 | | σ | 304.147 | | min | 2830.000 | | max | 3531.000 |
| | mean | 8.572 | | σ | 0.151 | | min | 8.448 | | max | 8.784 |
|