iters=5 new-facts=1 prior-facts=1 | | mean | 279.557 | | σ | 0.009 | | min | 279.547 | | max | 279.565 |
| | mean | 2770.000 | | σ | 0.000 | | min | 2770.000 | | max | 2770.000 |
| | mean | 0.410 | | σ | 0.007 | | min | 0.403 | | max | 0.418 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2178.476 | | σ | 0.014 | | min | 2178.460 | | max | 2178.491 |
| | mean | 2770.000 | | σ | 0.000 | | min | 2770.000 | | max | 2770.000 |
| | mean | 3.405 | | σ | 0.098 | | min | 3.264 | | max | 3.535 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5056.338 | | σ | 0.768 | | min | 5055.809 | | max | 5057.663 |
| | mean | 2770.000 | | σ | 0.000 | | min | 2770.000 | | max | 2770.000 |
| | mean | 9.073 | | σ | 0.802 | | min | 8.118 | | max | 9.994 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.731 | | σ | 0.211 | | min | 5193.380 | | max | 5193.903 |
| | mean | 3294.200 | | σ | 383.514 | | min | 2770.000 | | max | 3660.000 |
| | mean | 9.026 | | σ | 0.386 | | min | 8.636 | | max | 9.651 |
|