iters=5 new-facts=1 prior-facts=1 | | mean | 321.044 | | σ | 0.057 | | min | 320.943 | | max | 321.082 |
| | mean | 2853.000 | | σ | 0.000 | | min | 2853.000 | | max | 2853.000 |
| | mean | 0.430 | | σ | 0.010 | | min | 0.421 | | max | 0.444 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1981.610 | | σ | 0.030 | | min | 1981.558 | | max | 1981.628 |
| | mean | 2853.000 | | σ | 0.000 | | min | 2853.000 | | max | 2853.000 |
| | mean | 2.643 | | σ | 0.131 | | min | 2.555 | | max | 2.867 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4805.243 | | σ | 7.782 | | min | 4801.672 | | max | 4819.164 |
| | mean | 2853.000 | | σ | 0.000 | | min | 2853.000 | | max | 2853.000 |
| | mean | 8.932 | | σ | 0.236 | | min | 8.637 | | max | 9.212 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4992.825 | | σ | 0.022 | | min | 4992.798 | | max | 4992.851 |
| | mean | 3068.200 | | σ | 223.250 | | min | 2853.000 | | max | 3403.000 |
| | mean | 8.955 | | σ | 0.227 | | min | 8.758 | | max | 9.327 |
|