iters=5 new-facts=1 prior-facts=1 | | mean | 326.439 | | σ | 0.055 | | min | 326.341 | | max | 326.468 |
| | mean | 2599.000 | | σ | 0.000 | | min | 2599.000 | | max | 2599.000 |
| | mean | 0.423 | | σ | 0.002 | | min | 0.421 | | max | 0.425 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.614 | | σ | 0.006 | | min | 1988.606 | | max | 1988.619 |
| | mean | 2599.000 | | σ | 0.000 | | min | 2599.000 | | max | 2599.000 |
| | mean | 2.697 | | σ | 0.070 | | min | 2.623 | | max | 2.799 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.330 | | σ | 7.801 | | min | 4809.438 | | max | 4827.280 |
| | mean | 2599.000 | | σ | 0.000 | | min | 2599.000 | | max | 2599.000 |
| | mean | 8.814 | | σ | 0.189 | | min | 8.615 | | max | 9.108 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.021 | | σ | 0.031 | | min | 5000.987 | | max | 5001.062 |
| | mean | 3021.600 | | σ | 293.687 | | min | 2607.000 | | max | 3392.000 |
| | mean | 10.008 | | σ | 0.366 | | min | 9.659 | | max | 10.627 |
|