iters=5 new-facts=1 prior-facts=1 | | mean | 279.530 | | σ | 0.007 | | min | 279.524 | | max | 279.539 |
| | mean | 2738.000 | | σ | 0.000 | | min | 2738.000 | | max | 2738.000 |
| | mean | 0.413 | | σ | 0.008 | | min | 0.407 | | max | 0.426 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2178.453 | | σ | 0.014 | | min | 2178.437 | | max | 2178.474 |
| | mean | 2738.000 | | σ | 0.000 | | min | 2738.000 | | max | 2738.000 |
| | mean | 3.275 | | σ | 0.335 | | min | 2.785 | | max | 3.726 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5056.158 | | σ | 1.259 | | min | 5055.226 | | max | 5058.295 |
| | mean | 2738.000 | | σ | 0.000 | | min | 2738.000 | | max | 2738.000 |
| | mean | 8.982 | | σ | 0.257 | | min | 8.746 | | max | 9.404 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.800 | | σ | 0.083 | | min | 5193.704 | | max | 5193.870 |
| | mean | 3199.400 | | σ | 450.588 | | min | 2738.000 | | max | 3825.000 |
| | mean | 8.742 | | σ | 0.119 | | min | 8.660 | | max | 8.942 |
|