iters=5 new-facts=1 prior-facts=1 | | mean | 272.754 | | σ | 0.007 | | min | 272.746 | | max | 272.765 |
| | mean | 2490.000 | | σ | 0.000 | | min | 2490.000 | | max | 2490.000 |
| | mean | 0.384 | | σ | 0.009 | | min | 0.377 | | max | 0.395 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.163 | | σ | 0.017 | | min | 1933.141 | | max | 1933.180 |
| | mean | 2490.000 | | σ | 0.000 | | min | 2490.000 | | max | 2490.000 |
| | mean | 3.046 | | σ | 0.411 | | min | 2.452 | | max | 3.612 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4756.925 | | σ | 7.527 | | min | 4753.455 | | max | 4770.389 |
| | mean | 2490.000 | | σ | 0.000 | | min | 2490.000 | | max | 2490.000 |
| | mean | 8.524 | | σ | 0.263 | | min | 8.219 | | max | 8.895 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.248 | | σ | 0.324 | | min | 4943.670 | | max | 4944.416 |
| | mean | 2907.200 | | σ | 364.363 | | min | 2490.000 | | max | 3404.000 |
| | mean | 8.435 | | σ | 0.119 | | min | 8.285 | | max | 8.616 |
|