iters=5 new-facts=1 prior-facts=1 | | mean | 324.705 | | σ | 0.059 | | min | 324.601 | | max | 324.744 |
| | mean | 2824.000 | | σ | 0.000 | | min | 2824.000 | | max | 2824.000 |
| | mean | 0.431 | | σ | 0.011 | | min | 0.423 | | max | 0.446 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.267 | | σ | 0.013 | | min | 1985.245 | | max | 1985.277 |
| | mean | 2824.000 | | σ | 0.000 | | min | 2824.000 | | max | 2824.000 |
| | mean | 2.620 | | σ | 0.066 | | min | 2.562 | | max | 2.718 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.758 | | σ | 7.414 | | min | 4805.403 | | max | 4822.020 |
| | mean | 2824.000 | | σ | 0.000 | | min | 2824.000 | | max | 2824.000 |
| | mean | 8.876 | | σ | 0.226 | | min | 8.690 | | max | 9.194 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.465 | | σ | 0.022 | | min | 4996.437 | | max | 4996.487 |
| | mean | 3064.800 | | σ | 310.453 | | min | 2824.000 | | max | 3538.000 |
| | mean | 8.580 | | σ | 0.207 | | min | 8.406 | | max | 8.822 |
|