iters=5 new-facts=1 prior-facts=1 | | mean | 324.683-324.695=-0.013 | | σ | 0.044-0.050=-0.006 | | min | 324.604-324.609=-0.005 | | max | 324.710-324.732=-0.021 |
| | mean | 2841.000-2728.000=113.000 | | σ | 0.000 | | min | 2841.000-2728.000=113.000 | | max | 2841.000-2728.000=113.000 |
| | mean | 0.428-0.427=0.001 | | σ | 0.009-0.006=0.004 | | min | 0.422-0.423=-0.001 | | max | 0.445-0.437=0.007 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.265-1985.247=0.018 | | σ | 0.017-0.019=-0.003 | | min | 1985.237-1985.221=0.016 | | max | 1985.282-1985.266=0.016 |
| | mean | 2841.000-2728.000=113.000 | | σ | 0.000 | | min | 2841.000-2728.000=113.000 | | max | 2841.000-2728.000=113.000 |
| | mean | 2.650-2.661=-0.011 | | σ | 0.171-0.147=0.024 | | min | 2.477-2.560=-0.083 | | max | 2.862-2.898=-0.036 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.892-4808.868=0.023 | | σ | 7.701-7.636=0.065 | | min | 4805.342-4805.365=-0.023 | | max | 4822.667-4822.528=0.140 |
| | mean | 2841.000-2728.000=113.000 | | σ | 0.000 | | min | 2841.000-2728.000=113.000 | | max | 2841.000-2728.000=113.000 |
| | mean | 8.978-8.648=0.330 | | σ | 0.343-0.206=0.137 | | min | 8.436-8.430=0.006 | | max | 9.321-8.870=0.450 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.472-4996.466=0.005 | | σ | 0.021-0.015=0.006 | | min | 4996.452-4996.449=0.003 | | max | 4996.496-4996.482=0.014 |
| | mean | 3006.200-3030.800=-24.600 | | σ | 186.315-355.549=-169.234 | | min | 2841.000-2728.000=113.000 | | max | 3295.000-3556.000=-261.000 |
| | mean | 8.648-8.633=0.015 | | σ | 0.133-0.209=-0.076 | | min | 8.496-8.459=0.038 | | max | 8.797-8.951=-0.154 |
|