iters=5 new-facts=1 prior-facts=1 | | mean | 279.544 | | σ | 0.010 | | min | 279.532 | | max | 279.555 |
| | mean | 2740.000 | | σ | 0.000 | | min | 2740.000 | | max | 2740.000 |
| | mean | 0.416 | | σ | 0.010 | | min | 0.408 | | max | 0.429 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2178.476 | | σ | 0.017 | | min | 2178.460 | | max | 2178.497 |
| | mean | 2740.000 | | σ | 0.000 | | min | 2740.000 | | max | 2740.000 |
| | mean | 3.353 | | σ | 0.066 | | min | 3.281 | | max | 3.417 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5056.461 | | σ | 0.992 | | min | 5055.793 | | max | 5058.219 |
| | mean | 2740.000 | | σ | 0.000 | | min | 2740.000 | | max | 2740.000 |
| | mean | 9.466 | | σ | 0.792 | | min | 8.224 | | max | 10.399 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.783 | | σ | 0.080 | | min | 5193.721 | | max | 5193.878 |
| | mean | 3286.800 | | σ | 404.817 | | min | 2740.000 | | max | 3673.000 |
| | mean | 8.880 | | σ | 0.132 | | min | 8.733 | | max | 9.026 |
|