iters=5 new-facts=1 prior-facts=1 | | mean | 273.611 | | σ | 0.008 | | min | 273.602 | | max | 273.621 |
| | mean | 2853.000 | | σ | 0.000 | | min | 2853.000 | | max | 2853.000 |
| | mean | 0.388 | | σ | 0.006 | | min | 0.384 | | max | 0.398 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1934.002 | | σ | 0.009 | | min | 1933.990 | | max | 1934.014 |
| | mean | 2853.000 | | σ | 0.000 | | min | 2853.000 | | max | 2853.000 |
| | mean | 2.893 | | σ | 0.335 | | min | 2.308 | | max | 3.132 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.771 | | σ | 0.833 | | min | 4754.312 | | max | 4756.253 |
| | mean | 2853.000 | | σ | 0.000 | | min | 2853.000 | | max | 2853.000 |
| | mean | 8.472 | | σ | 0.519 | | min | 7.610 | | max | 8.949 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.002 | | σ | 0.182 | | min | 4944.834 | | max | 4945.206 |
| | mean | 3084.000 | | σ | 241.436 | | min | 2853.000 | | max | 3334.000 |
| | mean | 8.705 | | σ | 0.232 | | min | 8.382 | | max | 9.034 |
|