iters=5 new-facts=1 prior-facts=1 | | mean | 321.057 | | σ | 0.039 | | min | 320.989 | | max | 321.082 |
| | mean | 2858.000 | | σ | 0.000 | | min | 2858.000 | | max | 2858.000 |
| | mean | 0.430 | | σ | 0.015 | | min | 0.418 | | max | 0.448 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1981.618 | | σ | 0.005 | | min | 1981.609 | | max | 1981.623 |
| | mean | 2858.000 | | σ | 0.000 | | min | 2858.000 | | max | 2858.000 |
| | mean | 2.647 | | σ | 0.085 | | min | 2.560 | | max | 2.771 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4805.294 | | σ | 7.704 | | min | 4801.764 | | max | 4819.073 |
| | mean | 2858.000 | | σ | 0.000 | | min | 2858.000 | | max | 2858.000 |
| | mean | 8.537 | | σ | 0.522 | | min | 7.631 | | max | 8.918 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4992.828 | | σ | 0.023 | | min | 4992.797 | | max | 4992.856 |
| | mean | 3068.200 | | σ | 200.190 | | min | 2858.000 | | max | 3362.000 |
| | mean | 8.641 | | σ | 0.230 | | min | 8.437 | | max | 9.001 |
|