iters=5 new-facts=1 prior-facts=1 | | mean | 272.014 | | σ | 0.010 | | min | 271.997 | | max | 272.021 |
| | mean | 2750.000 | | σ | 0.000 | | min | 2750.000 | | max | 2750.000 |
| | mean | 0.391 | | σ | 0.013 | | min | 0.372 | | max | 0.404 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.440 | | σ | 0.009 | | min | 1932.428 | | max | 1932.453 |
| | mean | 2750.000 | | σ | 0.000 | | min | 2750.000 | | max | 2750.000 |
| | mean | 2.931 | | σ | 0.156 | | min | 2.731 | | max | 3.129 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.038 | | σ | 0.971 | | min | 4752.044 | | max | 4754.657 |
| | mean | 2750.000 | | σ | 0.000 | | min | 2750.000 | | max | 2750.000 |
| | mean | 8.752 | | σ | 0.397 | | min | 8.437 | | max | 9.398 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.563 | | σ | 0.166 | | min | 4943.268 | | max | 4943.652 |
| | mean | 3032.600 | | σ | 231.498 | | min | 2750.000 | | max | 3304.000 |
| | mean | 8.622 | | σ | 0.181 | | min | 8.401 | | max | 8.894 |
|