iters=5 new-facts=1 prior-facts=1 | | mean | 326.442 | | σ | 0.049 | | min | 326.355 | | max | 326.476 |
| | mean | 2757.000 | | σ | 0.000 | | min | 2757.000 | | max | 2757.000 |
| | mean | 0.427 | | σ | 0.002 | | min | 0.424 | | max | 0.429 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.606 | | σ | 0.011 | | min | 1988.595 | | max | 1988.619 |
| | mean | 2757.000 | | σ | 0.000 | | min | 2757.000 | | max | 2757.000 |
| | mean | 2.749 | | σ | 0.109 | | min | 2.631 | | max | 2.894 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4812.375 | | σ | 7.734 | | min | 4808.833 | | max | 4826.209 |
| | mean | 2757.000 | | σ | 0.000 | | min | 2757.000 | | max | 2757.000 |
| | mean | 8.541 | | σ | 0.489 | | min | 7.843 | | max | 9.211 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4999.795 | | σ | 0.315 | | min | 4999.237 | | max | 4999.996 |
| | mean | 2996.400 | | σ | 296.086 | | min | 2757.000 | | max | 3440.000 |
| | mean | 9.341 | | σ | 0.756 | | min | 8.521 | | max | 10.168 |
|