iters=5 new-facts=1 prior-facts=1 | | mean | 325.314 | | σ | 0.055 | | min | 325.216 | | max | 325.348 |
| | mean | 2892.000 | | σ | 0.000 | | min | 2892.000 | | max | 2892.000 |
| | mean | 0.425 | | σ | 0.001 | | min | 0.424 | | max | 0.426 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.858 | | σ | 0.010 | | min | 1985.846 | | max | 1985.873 |
| | mean | 2892.000 | | σ | 0.000 | | min | 2892.000 | | max | 2892.000 |
| | mean | 2.842 | | σ | 0.116 | | min | 2.676 | | max | 2.987 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4809.537 | | σ | 7.717 | | min | 4805.787 | | max | 4823.338 |
| | mean | 2892.000 | | σ | 0.000 | | min | 2892.000 | | max | 2892.000 |
| | mean | 8.662 | | σ | 0.406 | | min | 8.009 | | max | 9.006 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4997.048 | | σ | 0.191 | | min | 4996.825 | | max | 4997.196 |
| | mean | 3088.800 | | σ | 196.008 | | min | 2892.000 | | max | 3284.000 |
| | mean | 8.768 | | σ | 0.168 | | min | 8.552 | | max | 9.003 |
|