iters=5 new-facts=1 prior-facts=1 | | mean | 272.754 | | σ | 0.004 | | min | 272.751 | | max | 272.760 |
| | mean | 2790.000 | | σ | 0.000 | | min | 2790.000 | | max | 2790.000 |
| | mean | 0.380 | | σ | 0.005 | | min | 0.377 | | max | 0.389 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.166 | | σ | 0.016 | | min | 1933.145 | | max | 1933.189 |
| | mean | 2790.000 | | σ | 0.000 | | min | 2790.000 | | max | 2790.000 |
| | mean | 2.914 | | σ | 0.140 | | min | 2.731 | | max | 3.095 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4756.797 | | σ | 7.709 | | min | 4753.007 | | max | 4770.583 |
| | mean | 2790.000 | | σ | 0.000 | | min | 2790.000 | | max | 2790.000 |
| | mean | 8.667 | | σ | 0.435 | | min | 7.976 | | max | 9.043 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.318 | | σ | 0.162 | | min | 4944.029 | | max | 4944.406 |
| | mean | 3052.000 | | σ | 331.494 | | min | 2790.000 | | max | 3556.000 |
| | mean | 8.435 | | σ | 0.125 | | min | 8.348 | | max | 8.655 |
|