iters=5 new-facts=1 prior-facts=1 | | mean | 272.011 | | σ | 0.005 | | min | 272.004 | | max | 272.017 |
| | mean | 2727.000 | | σ | 0.000 | | min | 2727.000 | | max | 2727.000 |
| | mean | 0.386 | | σ | 0.008 | | min | 0.379 | | max | 0.400 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.437 | | σ | 0.012 | | min | 1932.418 | | max | 1932.446 |
| | mean | 2727.000 | | σ | 0.000 | | min | 2727.000 | | max | 2727.000 |
| | mean | 2.999 | | σ | 0.070 | | min | 2.947 | | max | 3.117 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.053 | | σ | 0.895 | | min | 4752.326 | | max | 4754.612 |
| | mean | 2727.000 | | σ | 0.000 | | min | 2727.000 | | max | 2727.000 |
| | mean | 8.415 | | σ | 0.302 | | min | 8.012 | | max | 8.796 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.563 | | σ | 0.166 | | min | 4943.268 | | max | 4943.653 |
| | mean | 3044.400 | | σ | 273.058 | | min | 2727.000 | | max | 3420.000 |
| | mean | 8.507 | | σ | 0.094 | | min | 8.360 | | max | 8.592 |
|