iters=5 new-facts=1 prior-facts=1 | | mean | 271.619 | | σ | 0.008 | | min | 271.609 | | max | 271.625 |
| | mean | 2769.000 | | σ | 0.000 | | min | 2769.000 | | max | 2769.000 |
| | mean | 0.384 | | σ | 0.008 | | min | 0.379 | | max | 0.398 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.041 | | σ | 0.006 | | min | 1932.033 | | max | 1932.050 |
| | mean | 2769.000 | | σ | 0.000 | | min | 2769.000 | | max | 2769.000 |
| | mean | 2.958 | | σ | 0.143 | | min | 2.746 | | max | 3.143 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.735 | | σ | 0.898 | | min | 4751.981 | | max | 4754.294 |
| | mean | 2769.000 | | σ | 0.000 | | min | 2769.000 | | max | 2769.000 |
| | mean | 7.997 | | σ | 0.350 | | min | 7.728 | | max | 8.610 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.228 | | σ | 0.024 | | min | 4943.194 | | max | 4943.256 |
| | mean | 3049.400 | | σ | 339.442 | | min | 2769.000 | | max | 3559.000 |
| | mean | 8.415 | | σ | 0.089 | | min | 8.341 | | max | 8.567 |
|