iters=5 new-facts=1 prior-facts=1 | | mean | 326.568 | | σ | 0.062 | | min | 326.459 | | max | 326.605 |
| | mean | 2608.000 | | σ | 0.000 | | min | 2608.000 | | max | 2608.000 |
| | mean | 0.434 | | σ | 0.013 | | min | 0.422 | | max | 0.448 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.746 | | σ | 0.008 | | min | 1988.736 | | max | 1988.758 |
| | mean | 2608.000 | | σ | 0.000 | | min | 2608.000 | | max | 2608.000 |
| | mean | 2.707 | | σ | 0.116 | | min | 2.582 | | max | 2.846 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.575 | | σ | 7.706 | | min | 4810.076 | | max | 4827.359 |
| | mean | 2608.000 | | σ | 0.000 | | min | 2608.000 | | max | 2608.000 |
| | mean | 8.789 | | σ | 0.267 | | min | 8.585 | | max | 9.217 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.137 | | σ | 0.019 | | min | 5001.118 | | max | 5001.159 |
| | mean | 3005.000 | | σ | 258.996 | | min | 2620.000 | | max | 3312.000 |
| | mean | 9.541 | | σ | 0.583 | | min | 8.585 | | max | 10.018 |
|