iters=5 new-facts=1 prior-facts=1 | | mean | 324.016 | | σ | 0.056 | | min | 323.917 | | max | 324.052 |
| | mean | 2520.000 | | σ | 0.000 | | min | 2520.000 | | max | 2520.000 |
| | mean | 0.430 | | σ | 0.006 | | min | 0.425 | | max | 0.439 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1984.582 | | σ | 0.015 | | min | 1984.562 | | max | 1984.597 |
| | mean | 2520.000 | | σ | 0.000 | | min | 2520.000 | | max | 2520.000 |
| | mean | 2.617 | | σ | 0.117 | | min | 2.497 | | max | 2.773 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.172 | | σ | 7.882 | | min | 4804.075 | | max | 4822.258 |
| | mean | 2520.000 | | σ | 0.000 | | min | 2520.000 | | max | 2520.000 |
| | mean | 8.837 | | σ | 0.651 | | min | 7.713 | | max | 9.281 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4995.804 | | σ | 0.022 | | min | 4995.780 | | max | 4995.833 |
| | mean | 2972.200 | | σ | 275.213 | | min | 2605.000 | | max | 3340.000 |
| | mean | 8.726 | | σ | 0.355 | | min | 8.441 | | max | 9.342 |
|