iters=5 new-facts=1 prior-facts=1 | | mean | 271.759 | | σ | 0.005 | | min | 271.754 | | max | 271.766 |
| | mean | 2896.000 | | σ | 0.000 | | min | 2896.000 | | max | 2896.000 |
| | mean | 0.380 | | σ | 0.005 | | min | 0.377 | | max | 0.390 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.176 | | σ | 0.011 | | min | 1932.159 | | max | 1932.190 |
| | mean | 2896.000 | | σ | 0.000 | | min | 2896.000 | | max | 2896.000 |
| | mean | 3.013 | | σ | 0.156 | | min | 2.798 | | max | 3.185 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.941 | | σ | 0.892 | | min | 4752.409 | | max | 4754.528 |
| | mean | 2896.000 | | σ | 0.000 | | min | 2896.000 | | max | 2896.000 |
| | mean | 8.360 | | σ | 0.495 | | min | 7.752 | | max | 8.995 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.384 | | σ | 0.018 | | min | 4943.362 | | max | 4943.403 |
| | mean | 3064.800 | | σ | 252.006 | | min | 2896.000 | | max | 3460.000 |
| | mean | 8.497 | | σ | 0.133 | | min | 8.381 | | max | 8.710 |
|