iters=5 new-facts=1 prior-facts=1 | | mean | 326.572 | | σ | 0.060 | | min | 326.465 | | max | 326.609 |
| | mean | 2836.000 | | σ | 0.000 | | min | 2836.000 | | max | 2836.000 |
| | mean | 0.430 | | σ | 0.015 | | min | 0.421 | | max | 0.455 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.735 | | σ | 0.019 | | min | 1988.705 | | max | 1988.750 |
| | mean | 2836.000 | | σ | 0.000 | | min | 2836.000 | | max | 2836.000 |
| | mean | 2.649 | | σ | 0.076 | | min | 2.561 | | max | 2.766 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.473 | | σ | 7.810 | | min | 4809.615 | | max | 4827.439 |
| | mean | 2836.000 | | σ | 0.000 | | min | 2836.000 | | max | 2836.000 |
| | mean | 8.910 | | σ | 0.239 | | min | 8.635 | | max | 9.130 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.076 | | σ | 0.143 | | min | 5000.825 | | max | 5001.182 |
| | mean | 3030.000 | | σ | 200.259 | | min | 2836.000 | | max | 3312.000 |
| | mean | 9.778 | | σ | 0.395 | | min | 9.189 | | max | 10.217 |
|