iters=5 new-facts=1 prior-facts=1 | | mean | 190.713 | | σ | 0.005 | | min | 190.708 | | max | 190.719 |
| | mean | 2629.000 | | σ | 0.000 | | min | 2629.000 | | max | 2629.000 |
| | mean | 0.281 | | σ | 0.001 | | min | 0.279 | | max | 0.282 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1989.499 | | σ | 0.014 | | min | 1989.486 | | max | 1989.518 |
| | mean | 2629.000 | | σ | 0.000 | | min | 2629.000 | | max | 2629.000 |
| | mean | 2.413 | | σ | 0.076 | | min | 2.319 | | max | 2.532 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4879.963 | | σ | 0.611 | | min | 4879.443 | | max | 4881.017 |
| | mean | 2629.000 | | σ | 0.000 | | min | 2629.000 | | max | 2629.000 |
| | mean | 8.127 | | σ | 0.204 | | min | 7.810 | | max | 8.362 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4891.693 | | σ | 0.093 | | min | 4891.616 | | max | 4891.797 |
| | mean | 3249.600 | | σ | 399.196 | | min | 2845.000 | | max | 3643.000 |
| | mean | 8.208 | | σ | 0.218 | | min | 8.026 | | max | 8.567 |
|