iters=5 new-facts=1 prior-facts=1 | | mean | 326.577 | | σ | 0.062 | | min | 326.466 | | max | 326.617 |
| | mean | 2834.000 | | σ | 0.000 | | min | 2834.000 | | max | 2834.000 |
| | mean | 0.441 | | σ | 0.017 | | min | 0.422 | | max | 0.457 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.746 | | σ | 0.007 | | min | 1988.740 | | max | 1988.758 |
| | mean | 2834.000 | | σ | 0.000 | | min | 2834.000 | | max | 2834.000 |
| | mean | 2.668 | | σ | 0.113 | | min | 2.512 | | max | 2.789 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.486 | | σ | 7.832 | | min | 4809.562 | | max | 4827.489 |
| | mean | 2834.000 | | σ | 0.000 | | min | 2834.000 | | max | 2834.000 |
| | mean | 8.840 | | σ | 0.389 | | min | 8.424 | | max | 9.364 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.062 | | σ | 0.156 | | min | 5000.785 | | max | 5001.148 |
| | mean | 3080.800 | | σ | 250.744 | | min | 2834.000 | | max | 3338.000 |
| | mean | 9.763 | | σ | 0.172 | | min | 9.514 | | max | 9.935 |
|