iters=5 new-facts=1 prior-facts=1 | | mean | 279.515 | | σ | 0.006 | | min | 279.506 | | max | 279.520 |
| | mean | 2695.000 | | σ | 0.000 | | min | 2695.000 | | max | 2695.000 |
| | mean | 0.417 | | σ | 0.009 | | min | 0.407 | | max | 0.428 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2178.441 | | σ | 0.022 | | min | 2178.417 | | max | 2178.468 |
| | mean | 2695.000 | | σ | 0.000 | | min | 2695.000 | | max | 2695.000 |
| | mean | 3.417 | | σ | 0.086 | | min | 3.312 | | max | 3.548 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5056.404 | | σ | 1.056 | | min | 5055.806 | | max | 5058.286 |
| | mean | 2695.000 | | σ | 0.000 | | min | 2695.000 | | max | 2695.000 |
| | mean | 8.879 | | σ | 0.855 | | min | 8.135 | | max | 10.315 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.759 | | σ | 0.084 | | min | 5193.695 | | max | 5193.861 |
| | mean | 3286.200 | | σ | 417.674 | | min | 2703.000 | | max | 3673.000 |
| | mean | 8.975 | | σ | 0.391 | | min | 8.708 | | max | 9.656 |
|