iters=5 new-facts=1 prior-facts=1 | | mean | 324.703 | | σ | 0.059 | | min | 324.600 | | max | 324.743 |
| | mean | 2425.000 | | σ | 0.000 | | min | 2425.000 | | max | 2425.000 |
| | mean | 0.432 | | σ | 0.008 | | min | 0.426 | | max | 0.444 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.256 | | σ | 0.021 | | min | 1985.229 | | max | 1985.280 |
| | mean | 2425.000 | | σ | 0.000 | | min | 2425.000 | | max | 2425.000 |
| | mean | 2.578 | | σ | 0.069 | | min | 2.486 | | max | 2.668 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.866 | | σ | 7.702 | | min | 4805.356 | | max | 4822.644 |
| | mean | 2425.000 | | σ | 0.000 | | min | 2425.000 | | max | 2425.000 |
| | mean | 8.933 | | σ | 0.128 | | min | 8.816 | | max | 9.086 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.472 | | σ | 0.017 | | min | 4996.451 | | max | 4996.489 |
| | mean | 3003.000 | | σ | 313.334 | | min | 2599.000 | | max | 3404.000 |
| | mean | 8.593 | | σ | 0.111 | | min | 8.482 | | max | 8.713 |
|