iters=5 new-facts=1 prior-facts=1 | | mean | 326.645 | | σ | 0.045 | | min | 326.565 | | max | 326.672 |
| | mean | 2833.000 | | σ | 0.000 | | min | 2833.000 | | max | 2833.000 |
| | mean | 0.424 | | σ | 0.001 | | min | 0.423 | | max | 0.425 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.806 | | σ | 0.007 | | min | 1988.795 | | max | 1988.813 |
| | mean | 2833.000 | | σ | 0.000 | | min | 2833.000 | | max | 2833.000 |
| | mean | 2.697 | | σ | 0.102 | | min | 2.604 | | max | 2.865 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.667 | | σ | 7.684 | | min | 4810.099 | | max | 4827.411 |
| | mean | 2833.000 | | σ | 0.000 | | min | 2833.000 | | max | 2833.000 |
| | mean | 8.639 | | σ | 0.487 | | min | 7.831 | | max | 9.010 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.065 | | σ | 0.317 | | min | 5000.499 | | max | 5001.232 |
| | mean | 3062.400 | | σ | 228.242 | | min | 2833.000 | | max | 3398.000 |
| | mean | 9.906 | | σ | 0.083 | | min | 9.816 | | max | 10.021 |
|