iters=5 new-facts=1 prior-facts=1 | | mean | 326.517 | | σ | 0.031 | | min | 326.464 | | max | 326.543 |
| | mean | 2821.000 | | σ | 0.000 | | min | 2821.000 | | max | 2821.000 |
| | mean | 0.421 | | σ | 0.001 | | min | 0.420 | | max | 0.421 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.673 | | σ | 0.014 | | min | 1988.658 | | max | 1988.687 |
| | mean | 2821.000 | | σ | 0.000 | | min | 2821.000 | | max | 2821.000 |
| | mean | 2.672 | | σ | 0.084 | | min | 2.600 | | max | 2.811 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.449 | | σ | 7.788 | | min | 4809.408 | | max | 4827.367 |
| | mean | 2821.000 | | σ | 0.000 | | min | 2821.000 | | max | 2821.000 |
| | mean | 8.585 | | σ | 0.695 | | min | 7.768 | | max | 9.375 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.072 | | σ | 0.023 | | min | 5001.043 | | max | 5001.094 |
| | mean | 3026.600 | | σ | 208.246 | | min | 2821.000 | | max | 3311.000 |
| | mean | 9.814 | | σ | 0.090 | | min | 9.726 | | max | 9.916 |
|