iters=5 new-facts=1 prior-facts=1 | | mean | 271.754 | | σ | 0.003 | | min | 271.750 | | max | 271.759 |
| | mean | 2807.000 | | σ | 0.000 | | min | 2807.000 | | max | 2807.000 |
| | mean | 0.380 | | σ | 0.004 | | min | 0.377 | | max | 0.388 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.187 | | σ | 0.015 | | min | 1932.172 | | max | 1932.212 |
| | mean | 2807.000 | | σ | 0.000 | | min | 2807.000 | | max | 2807.000 |
| | mean | 2.800 | | σ | 0.281 | | min | 2.429 | | max | 3.064 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.945 | | σ | 0.900 | | min | 4752.386 | | max | 4754.539 |
| | mean | 2807.000 | | σ | 0.000 | | min | 2807.000 | | max | 2807.000 |
| | mean | 8.190 | | σ | 0.651 | | min | 7.557 | | max | 9.036 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.231 | | σ | 0.172 | | min | 4943.035 | | max | 4943.375 |
| | mean | 3066.800 | | σ | 324.181 | | min | 2807.000 | | max | 3556.000 |
| | mean | 8.436 | | σ | 0.089 | | min | 8.339 | | max | 8.565 |
|