iters=5 new-facts=1 prior-facts=1 | | mean | 272.015 | | σ | 0.005 | | min | 272.011 | | max | 272.022 |
| | mean | 2767.000 | | σ | 0.000 | | min | 2767.000 | | max | 2767.000 |
| | mean | 0.389 | | σ | 0.013 | | min | 0.372 | | max | 0.404 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.430 | | σ | 0.014 | | min | 1932.410 | | max | 1932.442 |
| | mean | 2767.000 | | σ | 0.000 | | min | 2767.000 | | max | 2767.000 |
| | mean | 3.009 | | σ | 0.043 | | min | 2.959 | | max | 3.066 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.193 | | σ | 0.857 | | min | 4752.755 | | max | 4754.723 |
| | mean | 2767.000 | | σ | 0.000 | | min | 2767.000 | | max | 2767.000 |
| | mean | 8.354 | | σ | 0.344 | | min | 7.845 | | max | 8.774 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.632 | | σ | 0.013 | | min | 4943.619 | | max | 4943.650 |
| | mean | 3036.000 | | σ | 228.980 | | min | 2767.000 | | max | 3309.000 |
| | mean | 8.606 | | σ | 0.195 | | min | 8.404 | | max | 8.871 |
|