iters=5 new-facts=1 prior-facts=1 | | mean | 324.773 | | σ | 0.029 | | min | 324.722 | | max | 324.794 |
| | mean | 2724.000 | | σ | 0.000 | | min | 2724.000 | | max | 2724.000 |
| | mean | 0.420 | | σ | 0.008 | | min | 0.416 | | max | 0.433 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.322 | | σ | 0.011 | | min | 1985.309 | | max | 1985.337 |
| | mean | 2724.000 | | σ | 0.000 | | min | 2724.000 | | max | 2724.000 |
| | mean | 2.688 | | σ | 0.162 | | min | 2.484 | | max | 2.910 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.864 | | σ | 7.775 | | min | 4805.019 | | max | 4822.758 |
| | mean | 2724.000 | | σ | 0.000 | | min | 2724.000 | | max | 2724.000 |
| | mean | 8.782 | | σ | 0.268 | | min | 8.451 | | max | 9.124 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.568 | | σ | 0.142 | | min | 4996.317 | | max | 4996.659 |
| | mean | 3042.600 | | σ | 294.151 | | min | 2724.000 | | max | 3338.000 |
| | mean | 9.224 | | σ | 0.447 | | min | 8.587 | | max | 9.616 |
|