iters=5 new-facts=1 prior-facts=1 | | mean | 321.068-323.999=-2.931 | | σ | 0.029-0.049=-0.020 | | min | 321.018-323.914=-2.896 | | max | 321.090-324.040=-2.950 |
| | mean | 2852.000-2771.000=81.000 | | σ | 0.000 | | min | 2852.000-2771.000=81.000 | | max | 2852.000-2771.000=81.000 |
| | mean | 0.421-0.430=-0.009 | | σ | 0.001-0.003=-0.002 | | min | 0.420-0.427=-0.008 | | max | 0.423-0.435=-0.012 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1981.640-1984.593=-2.953 | | σ | 0.010-0.021=-0.010 | | min | 1981.624-1984.565=-2.942 | | max | 1981.652-1984.611=-2.959 |
| | mean | 2852.000-2771.000=81.000 | | σ | 0.000 | | min | 2852.000-2771.000=81.000 | | max | 2852.000-2771.000=81.000 |
| | mean | 2.595-2.576=0.019 | | σ | 0.077-0.017=0.059 | | min | 2.533-2.554=-0.021 | | max | 2.703-2.598=0.105 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4805.032-4808.228=-3.196 | | σ | 7.854-7.813=0.041 | | min | 4801.184-4804.662=-3.478 | | max | 4819.070-4822.204=-3.134 |
| | mean | 2852.000-2771.000=81.000 | | σ | 0.000 | | min | 2852.000-2771.000=81.000 | | max | 2852.000-2771.000=81.000 |
| | mean | 8.921-9.017=-0.095 | | σ | 0.149-0.155=-0.006 | | min | 8.700-8.869=-0.169 | | max | 9.108-9.210=-0.102 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4992.764-4995.817=-3.053 | | σ | 0.167-0.021=0.146 | | min | 4992.468-4995.785=-3.318 | | max | 4992.870-4995.838=-2.968 |
| | mean | 3070.400-3047.000=23.400 | | σ | 233.985-338.314=-104.330 | | min | 2852.000-2771.000=81.000 | | max | 3416.000-3558.000=-142.000 |
| | mean | 8.712-8.539=0.172 | | σ | 0.131-0.116=0.016 | | min | 8.517-8.441=0.075 | | max | 8.849-8.682=0.167 |
|