iters=5 new-facts=1 prior-facts=1 | | mean | 271.620 | | σ | 0.007 | | min | 271.613 | | max | 271.631 |
| | mean | 2809.000 | | σ | 0.000 | | min | 2809.000 | | max | 2809.000 |
| | mean | 0.385 | | σ | 0.008 | | min | 0.378 | | max | 0.397 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.043 | | σ | 0.018 | | min | 1932.022 | | max | 1932.062 |
| | mean | 2809.000 | | σ | 0.000 | | min | 2809.000 | | max | 2809.000 |
| | mean | 2.978 | | σ | 0.060 | | min | 2.902 | | max | 3.071 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.752 | | σ | 0.915 | | min | 4752.267 | | max | 4754.382 |
| | mean | 2809.000 | | σ | 0.000 | | min | 2809.000 | | max | 2809.000 |
| | mean | 8.768 | | σ | 0.298 | | min | 8.380 | | max | 9.149 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.228 | | σ | 0.020 | | min | 4943.205 | | max | 4943.247 |
| | mean | 3013.000 | | σ | 257.518 | | min | 2809.000 | | max | 3403.000 |
| | mean | 8.468 | | σ | 0.285 | | min | 8.312 | | max | 8.975 |
|