iters=5 new-facts=1 prior-facts=1 | | mean | 279.508 | | σ | 0.007 | | min | 279.500 | | max | 279.518 |
| | mean | 2685.000 | | σ | 0.000 | | min | 2685.000 | | max | 2685.000 |
| | mean | 0.415 | | σ | 0.010 | | min | 0.406 | | max | 0.431 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2173.700 | | σ | 0.015 | | min | 2173.685 | | max | 2173.720 |
| | mean | 2685.000 | | σ | 0.000 | | min | 2685.000 | | max | 2685.000 |
| | mean | 2.979 | | σ | 0.151 | | min | 2.758 | | max | 3.106 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5053.105 | | σ | 0.444 | | min | 5052.809 | | max | 5053.889 |
| | mean | 2685.000 | | σ | 0.000 | | min | 2685.000 | | max | 2685.000 |
| | mean | 9.199 | | σ | 0.200 | | min | 8.868 | | max | 9.388 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5185.991 | | σ | 0.088 | | min | 5185.922 | | max | 5186.089 |
| | mean | 3279.200 | | σ | 419.380 | | min | 2685.000 | | max | 3664.000 |
| | mean | 9.042 | | σ | 0.453 | | min | 8.681 | | max | 9.823 |
|