iters=5 new-facts=1 prior-facts=1 | | mean | 272.016-272.012=0.004 | | σ | 0.010-0.008=0.001 | | min | 272.005-271.998=0.007 | | max | 272.028-272.021=0.007 |
| | mean | 2815.000-2769.000=46.000 | | σ | 0.000 | | min | 2815.000-2769.000=46.000 | | max | 2815.000-2769.000=46.000 |
| | mean | 0.392-0.388=0.004 | | σ | 0.015-0.009=0.006 | | min | 0.378-0.378=-0.000 | | max | 0.413-0.396=0.017 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.438-1932.437=0.000 | | σ | 0.016-0.017=-0.001 | | min | 1932.416-1932.413=0.003 | | max | 1932.458-1932.459=-0.001 |
| | mean | 2815.000-2769.000=46.000 | | σ | 0.000 | | min | 2815.000-2769.000=46.000 | | max | 2815.000-2769.000=46.000 |
| | mean | 2.953-2.944=0.010 | | σ | 0.203-0.132=0.071 | | min | 2.736-2.750=-0.013 | | max | 3.166-3.088=0.078 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.168-4753.028=0.139 | | σ | 0.838-0.575=0.263 | | min | 4752.694-4752.622=0.072 | | max | 4754.659-4754.030=0.629 |
| | mean | 2815.000-2769.000=46.000 | | σ | 0.000 | | min | 2815.000-2769.000=46.000 | | max | 2815.000-2769.000=46.000 |
| | mean | 8.468-8.645=-0.177 | | σ | 0.454-0.380=0.074 | | min | 7.724-8.135=-0.411 | | max | 8.868-9.165=-0.297 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.632-4943.630=0.002 | | σ | 0.018-0.019=-0.001 | | min | 4943.610-4943.608=0.003 | | max | 4943.654-4943.651=0.003 |
| | mean | 3046.000-3001.200=44.800 | | σ | 241.436-219.704=21.733 | | min | 2815.000-2769.000=46.000 | | max | 3392.000-3303.000=89.000 |
| | mean | 8.628-8.532=0.095 | | σ | 0.146-0.100=0.046 | | min | 8.408-8.429=-0.021 | | max | 8.800-8.640=0.160 |
|