iters=5 new-facts=1 prior-facts=1 | | mean | 326.448 | | σ | 0.043 | | min | 326.374 | | max | 326.480 |
| | mean | 2592.000 | | σ | 0.000 | | min | 2592.000 | | max | 2592.000 |
| | mean | 0.421 | | σ | 0.001 | | min | 0.420 | | max | 0.423 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.611 | | σ | 0.010 | | min | 1988.594 | | max | 1988.621 |
| | mean | 2592.000 | | σ | 0.000 | | min | 2592.000 | | max | 2592.000 |
| | mean | 2.684 | | σ | 0.085 | | min | 2.596 | | max | 2.815 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.448 | | σ | 7.716 | | min | 4809.989 | | max | 4827.251 |
| | mean | 2592.000 | | σ | 0.000 | | min | 2592.000 | | max | 2592.000 |
| | mean | 8.987 | | σ | 0.169 | | min | 8.746 | | max | 9.152 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.019 | | σ | 0.037 | | min | 5000.984 | | max | 5001.078 |
| | mean | 3016.800 | | σ | 261.460 | | min | 2626.000 | | max | 3323.000 |
| | mean | 9.783 | | σ | 0.387 | | min | 9.254 | | max | 10.342 |
|