iters=5 new-facts=1 prior-facts=1 | | mean | 325.325 | | σ | 0.043 | | min | 325.252 | | max | 325.364 |
| | mean | 2827.000 | | σ | 0.000 | | min | 2827.000 | | max | 2827.000 |
| | mean | 0.431 | | σ | 0.006 | | min | 0.425 | | max | 0.441 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.875 | | σ | 0.020 | | min | 1985.841 | | max | 1985.888 |
| | mean | 2827.000 | | σ | 0.000 | | min | 2827.000 | | max | 2827.000 |
| | mean | 2.669 | | σ | 0.087 | | min | 2.561 | | max | 2.804 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4809.533 | | σ | 7.745 | | min | 4805.571 | | max | 4823.377 |
| | mean | 2827.000 | | σ | 0.000 | | min | 2827.000 | | max | 2827.000 |
| | mean | 8.879 | | σ | 0.324 | | min | 8.434 | | max | 9.192 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4997.040 | | σ | 0.185 | | min | 4996.821 | | max | 4997.184 |
| | mean | 3050.600 | | σ | 222.029 | | min | 2827.000 | | max | 3271.000 |
| | mean | 8.903 | | σ | 0.341 | | min | 8.606 | | max | 9.436 |
|