iters=5 new-facts=1 prior-facts=1 | | mean | 271.597-271.598=-0.001 | | σ | 0.009-0.007=0.002 | | min | 271.583-271.590=-0.007 | | max | 271.605-271.607=-0.002 |
| | mean | 2769.000-2697.000=72.000 | | σ | 0.000 | | min | 2769.000-2697.000=72.000 | | max | 2769.000-2697.000=72.000 |
| | mean | 0.386-0.382=0.004 | | σ | 0.009-0.004=0.005 | | min | 0.380-0.379=0.000 | | max | 0.400-0.389=0.012 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.001-1931.988=0.013 | | σ | 0.010-0.030=-0.020 | | min | 1931.984-1931.939=0.045 | | max | 1932.008-1932.018=-0.010 |
| | mean | 2769.000-2697.000=72.000 | | σ | 0.000 | | min | 2769.000-2697.000=72.000 | | max | 2769.000-2697.000=72.000 |
| | mean | 2.536-2.709=-0.172 | | σ | 0.063-0.376=-0.314 | | min | 2.490-2.407=0.083 | | max | 2.625-3.319=-0.694 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.698-4752.533=0.164 | | σ | 0.928-1.116=-0.187 | | min | 4752.235-4751.369=0.867 | | max | 4754.356-4754.388=-0.032 |
| | mean | 2769.000-2697.000=72.000 | | σ | 0.000 | | min | 2769.000-2697.000=72.000 | | max | 2769.000-2697.000=72.000 |
| | mean | 8.792-8.499=0.293 | | σ | 0.234-0.578=-0.343 | | min | 8.515-7.639=0.875 | | max | 9.040-9.091=-0.051 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.208-4943.205=0.003 | | σ | 0.018-0.016=0.002 | | min | 4943.184-4943.181=0.003 | | max | 4943.227-4943.220=0.007 |
| | mean | 2993.600-2975.800=17.800 | | σ | 220.591-239.985=-19.394 | | min | 2769.000-2697.000=72.000 | | max | 3306.000-3308.000=-2.000 |
| | mean | 8.530-8.461=0.069 | | σ | 0.126-0.084=0.042 | | min | 8.427-8.329=0.099 | | max | 8.739-8.531=0.207 |
|