iters=5 new-facts=1 prior-facts=1 | | mean | 273.500 | | σ | 0.005 | | min | 273.493 | | max | 273.506 |
| | mean | 2686.000 | | σ | 0.000 | | min | 2686.000 | | max | 2686.000 |
| | mean | 0.373 | | σ | 0.002 | | min | 0.373 | | max | 0.376 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.891 | | σ | 0.016 | | min | 1933.865 | | max | 1933.904 |
| | mean | 2686.000 | | σ | 0.000 | | min | 2686.000 | | max | 2686.000 |
| | mean | 3.033 | | σ | 0.075 | | min | 2.938 | | max | 3.112 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.607 | | σ | 0.904 | | min | 4754.138 | | max | 4756.223 |
| | mean | 2686.000 | | σ | 0.000 | | min | 2686.000 | | max | 2686.000 |
| | mean | 8.898 | | σ | 0.146 | | min | 8.746 | | max | 9.122 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.049 | | σ | 0.164 | | min | 4944.757 | | max | 4945.137 |
| | mean | 2960.000 | | σ | 264.631 | | min | 2686.000 | | max | 3364.000 |
| | mean | 8.427 | | σ | 0.108 | | min | 8.319 | | max | 8.579 |
|