iters=5 new-facts=1 prior-facts=1 | | mean | 326.441 | | σ | 0.060 | | min | 326.334 | | max | 326.478 |
| | mean | 2593.000 | | σ | 0.000 | | min | 2593.000 | | max | 2593.000 |
| | mean | 0.436 | | σ | 0.010 | | min | 0.426 | | max | 0.446 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.608 | | σ | 0.010 | | min | 1988.591 | | max | 1988.617 |
| | mean | 2593.000 | | σ | 0.000 | | min | 2593.000 | | max | 2593.000 |
| | mean | 2.690 | | σ | 0.114 | | min | 2.568 | | max | 2.865 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.499 | | σ | 7.749 | | min | 4809.895 | | max | 4827.360 |
| | mean | 2593.000 | | σ | 0.000 | | min | 2593.000 | | max | 2593.000 |
| | mean | 8.780 | | σ | 0.684 | | min | 7.717 | | max | 9.481 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5000.937 | | σ | 0.158 | | min | 5000.657 | | max | 5001.030 |
| | mean | 2932.000 | | σ | 357.472 | | min | 2593.000 | | max | 3455.000 |
| | mean | 9.715 | | σ | 0.242 | | min | 9.364 | | max | 10.045 |
|