iters=5 new-facts=1 prior-facts=1 | | mean | 277.193 | | σ | 0.006 | | min | 277.188 | | max | 277.201 |
| | mean | 2546.000 | | σ | 0.000 | | min | 2546.000 | | max | 2546.000 |
| | mean | 0.396 | | σ | 0.008 | | min | 0.391 | | max | 0.411 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.431 | | σ | 0.019 | | min | 2174.405 | | max | 2174.457 |
| | mean | 2546.000 | | σ | 0.000 | | min | 2546.000 | | max | 2546.000 |
| | mean | 3.046 | | σ | 0.184 | | min | 2.855 | | max | 3.323 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.612 | | σ | 0.973 | | min | 5052.035 | | max | 5054.341 |
| | mean | 2546.000 | | σ | 0.000 | | min | 2546.000 | | max | 2546.000 |
| | mean | 8.671 | | σ | 0.590 | | min | 7.996 | | max | 9.530 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.426 | | σ | 0.087 | | min | 5188.354 | | max | 5188.527 |
| | mean | 3234.000 | | σ | 367.732 | | min | 2717.000 | | max | 3689.000 |
| | mean | 9.002 | | σ | 0.442 | | min | 8.713 | | max | 9.773 |
|