iters=5 new-facts=1 prior-facts=1 | | mean | 277.195 | | σ | 0.006 | | min | 277.187 | | max | 277.201 |
| | mean | 2655.000 | | σ | 0.000 | | min | 2655.000 | | max | 2655.000 |
| | mean | 0.405 | | σ | 0.006 | | min | 0.401 | | max | 0.416 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.425 | | σ | 0.015 | | min | 2174.401 | | max | 2174.439 |
| | mean | 2655.000 | | σ | 0.000 | | min | 2655.000 | | max | 2655.000 |
| | mean | 2.806 | | σ | 0.154 | | min | 2.719 | | max | 3.081 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.531 | | σ | 1.080 | | min | 5051.633 | | max | 5054.395 |
| | mean | 2655.000 | | σ | 0.000 | | min | 2655.000 | | max | 2655.000 |
| | mean | 8.663 | | σ | 0.743 | | min | 7.976 | | max | 9.684 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.272 | | σ | 0.378 | | min | 5187.610 | | max | 5188.524 |
| | mean | 3217.400 | | σ | 489.429 | | min | 2655.000 | | max | 3882.000 |
| | mean | 8.820 | | σ | 0.246 | | min | 8.613 | | max | 9.147 |
|