iters=5 new-facts=1 prior-facts=1 | | mean | 279.540 | | σ | 0.003 | | min | 279.535 | | max | 279.545 |
| | mean | 2743.000 | | σ | 0.000 | | min | 2743.000 | | max | 2743.000 |
| | mean | 0.406 | | σ | 0.001 | | min | 0.405 | | max | 0.409 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2178.482 | | σ | 0.015 | | min | 2178.471 | | max | 2178.509 |
| | mean | 2743.000 | | σ | 0.000 | | min | 2743.000 | | max | 2743.000 |
| | mean | 3.338 | | σ | 0.072 | | min | 3.249 | | max | 3.412 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5056.196 | | σ | 1.124 | | min | 5055.370 | | max | 5058.143 |
| | mean | 2743.000 | | σ | 0.000 | | min | 2743.000 | | max | 2743.000 |
| | mean | 8.880 | | σ | 0.776 | | min | 8.181 | | max | 9.798 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.794 | | σ | 0.081 | | min | 5193.723 | | max | 5193.886 |
| | mean | 3286.800 | | σ | 406.440 | | min | 2743.000 | | max | 3676.000 |
| | mean | 8.860 | | σ | 0.176 | | min | 8.662 | | max | 9.108 |
|