iters=5 new-facts=1 prior-facts=1 | | mean | 324.707 | | σ | 0.053 | | min | 324.613 | | max | 324.734 |
| | mean | 2604.000 | | σ | 0.000 | | min | 2604.000 | | max | 2604.000 |
| | mean | 0.429 | | σ | 0.011 | | min | 0.422 | | max | 0.449 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.264 | | σ | 0.013 | | min | 1985.242 | | max | 1985.275 |
| | mean | 2604.000 | | σ | 0.000 | | min | 2604.000 | | max | 2604.000 |
| | mean | 2.664 | | σ | 0.097 | | min | 2.565 | | max | 2.762 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.885 | | σ | 7.680 | | min | 4805.421 | | max | 4822.624 |
| | mean | 2604.000 | | σ | 0.000 | | min | 2604.000 | | max | 2604.000 |
| | mean | 9.051 | | σ | 0.229 | | min | 8.787 | | max | 9.366 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.466 | | σ | 0.019 | | min | 4996.449 | | max | 4996.489 |
| | mean | 2930.400 | | σ | 330.846 | | min | 2604.000 | | max | 3388.000 |
| | mean | 8.485 | | σ | 0.040 | | min | 8.442 | | max | 8.533 |
|