iters=5 new-facts=1 prior-facts=1 | | mean | 279.317 | | σ | 0.012 | | min | 279.304 | | max | 279.333 |
| | mean | 2740.000 | | σ | 0.000 | | min | 2740.000 | | max | 2740.000 |
| | mean | 0.418 | | σ | 0.012 | | min | 0.404 | | max | 0.433 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2178.263 | | σ | 0.012 | | min | 2178.250 | | max | 2178.274 |
| | mean | 2740.000 | | σ | 0.000 | | min | 2740.000 | | max | 2740.000 |
| | mean | 3.360 | | σ | 0.188 | | min | 3.176 | | max | 3.676 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.938 | | σ | 0.996 | | min | 5047.321 | | max | 5049.706 |
| | mean | 2740.000 | | σ | 0.000 | | min | 2740.000 | | max | 2740.000 |
| | mean | 8.786 | | σ | 0.628 | | min | 8.108 | | max | 9.613 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5185.307 | | σ | 0.091 | | min | 5185.237 | | max | 5185.411 |
| | mean | 3221.600 | | σ | 469.708 | | min | 2740.000 | | max | 3873.000 |
| | mean | 8.721 | | σ | 0.161 | | min | 8.566 | | max | 8.988 |
|