iters=5 new-facts=1 prior-facts=1 | | mean | 326.452 | | σ | 0.031 | | min | 326.398 | | max | 326.472 |
| | mean | 2825.000 | | σ | 0.000 | | min | 2825.000 | | max | 2825.000 |
| | mean | 0.424 | | σ | 0.003 | | min | 0.421 | | max | 0.430 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1848.274 | | σ | 313.784 | | min | 1286.960 | | max | 1988.617 |
| | mean | 2825.000 | | σ | 0.000 | | min | 2825.000 | | max | 2825.000 |
| | mean | 2.666 | | σ | 0.500 | | min | 1.798 | | max | 3.001 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.512 | | σ | 7.694 | | min | 4809.911 | | max | 4827.274 |
| | mean | 2825.000 | | σ | 0.000 | | min | 2825.000 | | max | 2825.000 |
| | mean | 8.194 | | σ | 0.561 | | min | 7.744 | | max | 9.114 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.017 | | σ | 0.035 | | min | 5000.975 | | max | 5001.065 |
| | mean | 2986.800 | | σ | 232.556 | | min | 2825.000 | | max | 3351.000 |
| | mean | 9.781 | | σ | 0.274 | | min | 9.328 | | max | 10.012 |
|