iters=5 new-facts=1 prior-facts=1 | | mean | 324.707 | | σ | 0.048 | | min | 324.621 | | max | 324.736 |
| | mean | 2826.000 | | σ | 0.000 | | min | 2826.000 | | max | 2826.000 |
| | mean | 0.434 | | σ | 0.007 | | min | 0.424 | | max | 0.442 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.258 | | σ | 0.023 | | min | 1985.229 | | max | 1985.280 |
| | mean | 2826.000 | | σ | 0.000 | | min | 2826.000 | | max | 2826.000 |
| | mean | 2.648 | | σ | 0.136 | | min | 2.529 | | max | 2.830 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.765 | | σ | 7.693 | | min | 4804.759 | | max | 4822.513 |
| | mean | 2826.000 | | σ | 0.000 | | min | 2826.000 | | max | 2826.000 |
| | mean | 8.659 | | σ | 0.337 | | min | 8.225 | | max | 9.051 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.467 | | σ | 0.013 | | min | 4996.447 | | max | 4996.480 |
| | mean | 3058.200 | | σ | 303.059 | | min | 2826.000 | | max | 3527.000 |
| | mean | 8.475 | | σ | 0.154 | | min | 8.388 | | max | 8.749 |
|