iters=5 new-facts=1 prior-facts=1 | | mean | 277.883 | | σ | 0.009 | | min | 277.869 | | max | 277.892 |
| | mean | 2887.000 | | σ | 0.000 | | min | 2887.000 | | max | 2887.000 |
| | mean | 0.401 | | σ | 0.007 | | min | 0.392 | | max | 0.409 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2176.822 | | σ | 0.021 | | min | 2176.802 | | max | 2176.846 |
| | mean | 2887.000 | | σ | 0.000 | | min | 2887.000 | | max | 2887.000 |
| | mean | 3.298 | | σ | 0.142 | | min | 3.082 | | max | 3.465 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5054.501 | | σ | 1.082 | | min | 5053.429 | | max | 5056.328 |
| | mean | 2887.000 | | σ | 0.000 | | min | 2887.000 | | max | 2887.000 |
| | mean | 9.013 | | σ | 0.481 | | min | 8.363 | | max | 9.609 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5192.129 | | σ | 0.085 | | min | 5192.060 | | max | 5192.230 |
| | mean | 3286.800 | | σ | 394.546 | | min | 2887.000 | | max | 3830.000 |
| | mean | 8.932 | | σ | 0.495 | | min | 8.640 | | max | 9.801 |
|