iters=5 new-facts=1 prior-facts=1 | | mean | 326.570 | | σ | 0.051 | | min | 326.481 | | max | 326.599 |
| | mean | 2592.000 | | σ | 0.000 | | min | 2592.000 | | max | 2592.000 |
| | mean | 0.426 | | σ | 0.005 | | min | 0.422 | | max | 0.433 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.739 | | σ | 0.009 | | min | 1988.724 | | max | 1988.746 |
| | mean | 2592.000 | | σ | 0.000 | | min | 2592.000 | | max | 2592.000 |
| | mean | 2.685 | | σ | 0.071 | | min | 2.598 | | max | 2.765 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.469 | | σ | 7.790 | | min | 4809.658 | | max | 4827.400 |
| | mean | 2592.000 | | σ | 0.000 | | min | 2592.000 | | max | 2592.000 |
| | mean | 8.925 | | σ | 0.249 | | min | 8.539 | | max | 9.145 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.143 | | σ | 0.045 | | min | 5001.083 | | max | 5001.196 |
| | mean | 2962.600 | | σ | 271.738 | | min | 2592.000 | | max | 3297.000 |
| | mean | 9.563 | | σ | 0.693 | | min | 8.429 | | max | 10.151 |
|