iters=5 new-facts=1 prior-facts=1 | | mean | 273.401 | | σ | 0.011 | | min | 273.387 | | max | 273.416 |
| | mean | 2505.000 | | σ | 0.000 | | min | 2505.000 | | max | 2505.000 |
| | mean | 0.386 | | σ | 0.014 | | min | 0.376 | | max | 0.408 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.843 | | σ | 0.016 | | min | 1933.828 | | max | 1933.864 |
| | mean | 2505.000 | | σ | 0.000 | | min | 2505.000 | | max | 2505.000 |
| | mean | 2.935 | | σ | 0.148 | | min | 2.711 | | max | 3.088 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.380 | | σ | 0.862 | | min | 4753.909 | | max | 4755.909 |
| | mean | 2505.000 | | σ | 0.000 | | min | 2505.000 | | max | 2505.000 |
| | mean | 8.308 | | σ | 0.495 | | min | 7.766 | | max | 8.977 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.790 | | σ | 0.082 | | min | 4944.721 | | max | 4944.879 |
| | mean | 2967.000 | | σ | 428.311 | | min | 2505.000 | | max | 3544.000 |
| | mean | 8.464 | | σ | 0.119 | | min | 8.343 | | max | 8.617 |
|