iters=5 new-facts=1 prior-facts=1 | | mean | 271.649 | | σ | 0.010 | | min | 271.640 | | max | 271.661 |
| | mean | 2435.000 | | σ | 0.000 | | min | 2435.000 | | max | 2435.000 |
| | mean | 0.382 | | σ | 0.004 | | min | 0.378 | | max | 0.388 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.104 | | σ | 0.018 | | min | 1932.075 | | max | 1932.119 |
| | mean | 2435.000 | | σ | 0.000 | | min | 2435.000 | | max | 2435.000 |
| | mean | 2.528 | | σ | 0.163 | | min | 2.321 | | max | 2.764 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.505 | | σ | 0.572 | | min | 4752.151 | | max | 4753.521 |
| | mean | 2435.000 | | σ | 0.000 | | min | 2435.000 | | max | 2435.000 |
| | mean | 8.268 | | σ | 0.657 | | min | 7.710 | | max | 9.181 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4942.906 | | σ | 0.200 | | min | 4942.634 | | max | 4943.146 |
| | mean | 2904.600 | | σ | 401.305 | | min | 2435.000 | | max | 3444.000 |
| | mean | 8.396 | | σ | 0.062 | | min | 8.321 | | max | 8.470 |
|