iters=5 new-facts=1 prior-facts=1 | | mean | 326.446 | | σ | 0.047 | | min | 326.364 | | max | 326.482 |
| | mean | 2589.000 | | σ | 0.000 | | min | 2589.000 | | max | 2589.000 |
| | mean | 0.423 | | σ | 0.001 | | min | 0.422 | | max | 0.425 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.609 | | σ | 0.011 | | min | 1988.596 | | max | 1988.620 |
| | mean | 2589.000 | | σ | 0.000 | | min | 2589.000 | | max | 2589.000 |
| | mean | 2.754 | | σ | 0.074 | | min | 2.683 | | max | 2.836 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.337 | | σ | 7.797 | | min | 4809.370 | | max | 4827.275 |
| | mean | 2589.000 | | σ | 0.000 | | min | 2589.000 | | max | 2589.000 |
| | mean | 8.837 | | σ | 0.285 | | min | 8.547 | | max | 9.187 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.018 | | σ | 0.044 | | min | 5000.968 | | max | 5001.085 |
| | mean | 2977.600 | | σ | 300.439 | | min | 2589.000 | | max | 3367.000 |
| | mean | 9.658 | | σ | 0.578 | | min | 8.737 | | max | 10.296 |
|