iters=5 new-facts=1 prior-facts=1 | | mean | 326.634 | | σ | 0.048 | | min | 326.548 | | max | 326.662 |
| | mean | 2695.000 | | σ | 0.000 | | min | 2695.000 | | max | 2695.000 |
| | mean | 0.426 | | σ | 0.005 | | min | 0.420 | | max | 0.431 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.785 | | σ | 0.010 | | min | 1988.768 | | max | 1988.795 |
| | mean | 2695.000 | | σ | 0.000 | | min | 2695.000 | | max | 2695.000 |
| | mean | 2.725 | | σ | 0.179 | | min | 2.583 | | max | 3.009 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.548 | | σ | 7.797 | | min | 4809.595 | | max | 4827.487 |
| | mean | 2695.000 | | σ | 0.000 | | min | 2695.000 | | max | 2695.000 |
| | mean | 8.492 | | σ | 0.587 | | min | 7.952 | | max | 9.316 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.137 | | σ | 0.181 | | min | 5000.818 | | max | 5001.262 |
| | mean | 3009.000 | | σ | 361.517 | | min | 2695.000 | | max | 3533.000 |
| | mean | 9.829 | | σ | 0.222 | | min | 9.659 | | max | 10.215 |
|