iters=5 new-facts=1 prior-facts=1 | | mean | 326.500 | | σ | 0.059 | | min | 326.395 | | max | 326.534 |
| | mean | 2589.000 | | σ | 0.000 | | min | 2589.000 | | max | 2589.000 |
| | mean | 0.428 | | σ | 0.007 | | min | 0.423 | | max | 0.441 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.679 | | σ | 0.006 | | min | 1988.672 | | max | 1988.688 |
| | mean | 2589.000 | | σ | 0.000 | | min | 2589.000 | | max | 2589.000 |
| | mean | 2.723 | | σ | 0.171 | | min | 2.609 | | max | 3.024 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.402 | | σ | 7.807 | | min | 4809.547 | | max | 4827.363 |
| | mean | 2589.000 | | σ | 0.000 | | min | 2589.000 | | max | 2589.000 |
| | mean | 8.527 | | σ | 0.582 | | min | 7.635 | | max | 9.268 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.068 | | σ | 0.019 | | min | 5001.044 | | max | 5001.090 |
| | mean | 2969.400 | | σ | 402.295 | | min | 2589.000 | | max | 3529.000 |
| | mean | 9.713 | | σ | 0.257 | | min | 9.328 | | max | 10.049 |
|