iters=5 new-facts=1 prior-facts=1 | | mean | 273.404 | | σ | 0.014 | | min | 273.392 | | max | 273.420 |
| | mean | 2505.000 | | σ | 0.000 | | min | 2505.000 | | max | 2505.000 |
| | mean | 0.385 | | σ | 0.010 | | min | 0.377 | | max | 0.398 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.834 | | σ | 0.011 | | min | 1933.820 | | max | 1933.848 |
| | mean | 2505.000 | | σ | 0.000 | | min | 2505.000 | | max | 2505.000 |
| | mean | 3.102 | | σ | 0.161 | | min | 2.990 | | max | 3.377 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.408 | | σ | 0.813 | | min | 4753.985 | | max | 4755.855 |
| | mean | 2505.000 | | σ | 0.000 | | min | 2505.000 | | max | 2505.000 |
| | mean | 8.052 | | σ | 0.432 | | min | 7.734 | | max | 8.807 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.795 | | σ | 0.085 | | min | 4944.729 | | max | 4944.893 |
| | mean | 2925.200 | | σ | 390.585 | | min | 2505.000 | | max | 3449.000 |
| | mean | 8.470 | | σ | 0.099 | | min | 8.351 | | max | 8.624 |
|