iters=5 new-facts=1 prior-facts=1 | | mean | 326.443-326.442=0.001 | | σ | 0.065-0.058=0.007 | | min | 326.328-326.339=-0.011 | | max | 326.483-326.477=0.006 |
| | mean | 2825.000-2829.000=-4.000 | | σ | 0.000 | | min | 2825.000-2829.000=-4.000 | | max | 2825.000-2829.000=-4.000 |
| | mean | 0.437-0.428=0.009 | | σ | 0.015-0.009=0.006 | | min | 0.424-0.420=0.004 | | max | 0.462-0.439=0.022 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.616-1988.606=0.010 | | σ | 0.010-0.013=-0.004 | | min | 1988.605-1988.589=0.016 | | max | 1988.627-1988.619=0.007 |
| | mean | 2825.000-2829.000=-4.000 | | σ | 0.000 | | min | 2825.000-2829.000=-4.000 | | max | 2825.000-2829.000=-4.000 |
| | mean | 2.719-2.686=0.033 | | σ | 0.102-0.062=0.040 | | min | 2.605-2.620=-0.015 | | max | 2.851-2.786=0.065 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.359-4813.507=-0.148 | | σ | 7.838-7.701=0.137 | | min | 4809.442-4809.907=-0.465 | | max | 4827.374-4827.280=0.094 |
| | mean | 2825.000-2829.000=-4.000 | | σ | 0.000 | | min | 2825.000-2829.000=-4.000 | | max | 2825.000-2829.000=-4.000 |
| | mean | 9.028-8.570=0.458 | | σ | 0.279-0.633=-0.354 | | min | 8.691-7.675=1.016 | | max | 9.429-9.140=0.289 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5000.953-5000.942=0.011 | | σ | 0.143-0.178=-0.035 | | min | 5000.700-5000.626=0.074 | | max | 5001.043-5001.056=-0.012 |
| | mean | 3052.200-3032.600=19.600 | | σ | 241.282-205.894=35.389 | | min | 2825.000-2829.000=-4.000 | | max | 3405.000-3313.000=92.000 |
| | mean | 9.920-9.670=0.249 | | σ | 0.151-0.469=-0.318 | | min | 9.787-8.976=0.810 | | max | 10.132-10.267=-0.134 |
|