iters=5 new-facts=1 prior-facts=1 | | mean | 273.890 | | σ | 0.010 | | min | 273.877 | | max | 273.902 |
| | mean | 2834.000 | | σ | 0.000 | | min | 2834.000 | | max | 2834.000 |
| | mean | 0.406 | | σ | 0.001 | | min | 0.405 | | max | 0.407 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2264.139 | | σ | 0.023 | | min | 2264.102 | | max | 2264.167 |
| | mean | 2834.000 | | σ | 0.000 | | min | 2834.000 | | max | 2834.000 |
| | mean | 3.535 | | σ | 0.162 | | min | 3.317 | | max | 3.756 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4951.232 | | σ | 0.741 | | min | 4950.692 | | max | 4952.536 |
| | mean | 2834.000 | | σ | 0.000 | | min | 2834.000 | | max | 2834.000 |
| | mean | 7.884 | | σ | 0.364 | | min | 7.609 | | max | 8.514 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5165.792 | | σ | 0.267 | | min | 5165.332 | | max | 5166.029 |
| | mean | 3370.200 | | σ | 446.434 | | min | 2933.000 | | max | 3825.000 |
| | mean | 9.309 | | σ | 0.285 | | min | 9.045 | | max | 9.696 |
|