iters=5 new-facts=1 prior-facts=1 | | mean | 326.575 | | σ | 0.049 | | min | 326.490 | | max | 326.617 |
| | mean | 2822.000 | | σ | 0.000 | | min | 2822.000 | | max | 2822.000 |
| | mean | 0.424 | | σ | 0.004 | | min | 0.420 | | max | 0.429 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.737 | | σ | 0.016 | | min | 1988.715 | | max | 1988.751 |
| | mean | 2822.000 | | σ | 0.000 | | min | 2822.000 | | max | 2822.000 |
| | mean | 2.668 | | σ | 0.081 | | min | 2.553 | | max | 2.777 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.429 | | σ | 7.696 | | min | 4809.512 | | max | 4827.186 |
| | mean | 2822.000 | | σ | 0.000 | | min | 2822.000 | | max | 2822.000 |
| | mean | 8.775 | | σ | 0.263 | | min | 8.476 | | max | 9.156 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.136 | | σ | 0.023 | | min | 5001.115 | | max | 5001.174 |
| | mean | 3022.200 | | σ | 204.910 | | min | 2822.000 | | max | 3307.000 |
| | mean | 9.743 | | σ | 0.290 | | min | 9.241 | | max | 9.979 |
|