iters=5 new-facts=1 prior-facts=1 | | mean | 272.797 | | σ | 0.004 | | min | 272.792 | | max | 272.801 |
| | mean | 2434.000 | | σ | 0.000 | | min | 2434.000 | | max | 2434.000 |
| | mean | 0.383 | | σ | 0.009 | | min | 0.378 | | max | 0.400 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.452 | | σ | 0.013 | | min | 1933.433 | | max | 1933.469 |
| | mean | 2434.000 | | σ | 0.000 | | min | 2434.000 | | max | 2434.000 |
| | mean | 3.097 | | σ | 0.097 | | min | 3.010 | | max | 3.256 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4757.180 | | σ | 7.573 | | min | 4753.696 | | max | 4770.727 |
| | mean | 2434.000 | | σ | 0.000 | | min | 2434.000 | | max | 2434.000 |
| | mean | 8.525 | | σ | 0.382 | | min | 7.939 | | max | 8.991 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.615 | | σ | 0.162 | | min | 4944.326 | | max | 4944.708 |
| | mean | 2948.600 | | σ | 400.414 | | min | 2450.000 | | max | 3493.000 |
| | mean | 8.544 | | σ | 0.232 | | min | 8.302 | | max | 8.861 |
|