iters=5 new-facts=1 prior-facts=1 | | mean | 277.719 | | σ | 0.010 | | min | 277.703 | | max | 277.731 |
| | mean | 2638.000 | | σ | 0.000 | | min | 2638.000 | | max | 2638.000 |
| | mean | 0.407 | | σ | 0.002 | | min | 0.404 | | max | 0.408 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2267.891 | | σ | 0.005 | | min | 2267.887 | | max | 2267.899 |
| | mean | 2638.000 | | σ | 0.000 | | min | 2638.000 | | max | 2638.000 |
| | mean | 2.894 | | σ | 0.071 | | min | 2.801 | | max | 2.997 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.941 | | σ | 0.920 | | min | 4954.117 | | max | 4956.514 |
| | mean | 2638.000 | | σ | 0.000 | | min | 2638.000 | | max | 2638.000 |
| | mean | 7.988 | | σ | 0.289 | | min | 7.657 | | max | 8.405 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5169.717 | | σ | 0.137 | | min | 5169.513 | | max | 5169.849 |
| | mean | 3453.600 | | σ | 454.626 | | min | 2800.000 | | max | 3984.000 |
| | mean | 9.387 | | σ | 0.243 | | min | 9.114 | | max | 9.710 |
|