iters=5 new-facts=1 prior-facts=1 | | mean | 271.756 | | σ | 0.006 | | min | 271.749 | | max | 271.764 |
| | mean | 2712.000 | | σ | 0.000 | | min | 2712.000 | | max | 2712.000 |
| | mean | 0.381 | | σ | 0.005 | | min | 0.376 | | max | 0.389 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.175 | | σ | 0.014 | | min | 1932.155 | | max | 1932.192 |
| | mean | 2712.000 | | σ | 0.000 | | min | 2712.000 | | max | 2712.000 |
| | mean | 2.981 | | σ | 0.172 | | min | 2.709 | | max | 3.165 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.796 | | σ | 1.019 | | min | 4751.943 | | max | 4754.556 |
| | mean | 2712.000 | | σ | 0.000 | | min | 2712.000 | | max | 2712.000 |
| | mean | 8.572 | | σ | 0.587 | | min | 7.628 | | max | 9.168 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.301 | | σ | 0.155 | | min | 4943.024 | | max | 4943.384 |
| | mean | 2968.600 | | σ | 302.531 | | min | 2712.000 | | max | 3417.000 |
| | mean | 8.454 | | σ | 0.138 | | min | 8.332 | | max | 8.684 |
|