iters=5 new-facts=1 prior-facts=1 | | mean | 277.195 | | σ | 0.008 | | min | 277.185 | | max | 277.206 |
| | mean | 2618.000 | | σ | 0.000 | | min | 2618.000 | | max | 2618.000 |
| | mean | 0.395 | | σ | 0.009 | | min | 0.389 | | max | 0.411 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.424 | | σ | 0.018 | | min | 2174.393 | | max | 2174.435 |
| | mean | 2618.000 | | σ | 0.000 | | min | 2618.000 | | max | 2618.000 |
| | mean | 2.870 | | σ | 0.239 | | min | 2.743 | | max | 3.296 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.624 | | σ | 0.968 | | min | 5052.034 | | max | 5054.342 |
| | mean | 2618.000 | | σ | 0.000 | | min | 2618.000 | | max | 2618.000 |
| | mean | 8.615 | | σ | 0.583 | | min | 8.040 | | max | 9.455 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.349 | | σ | 0.204 | | min | 5188.018 | | max | 5188.517 |
| | mean | 3200.400 | | σ | 480.789 | | min | 2618.000 | | max | 3831.000 |
| | mean | 8.755 | | σ | 0.136 | | min | 8.673 | | max | 8.997 |
|