iters=5 new-facts=1 prior-facts=1 | | mean | 324.705-324.705=-0.000 | | σ | 0.059-0.057=0.003 | | min | 324.601-324.605=-0.004 | | max | 324.744-324.739=0.005 |
| | mean | 2824.000-2849.000=-25.000 | | σ | 0.000 | | min | 2824.000-2849.000=-25.000 | | max | 2824.000-2849.000=-25.000 |
| | mean | 0.431-0.429=0.002 | | σ | 0.011-0.011=0.000 | | min | 0.423-0.420=0.003 | | max | 0.446-0.447=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.267-1985.267=0.000 | | σ | 0.013-0.011=0.002 | | min | 1985.245-1985.250=-0.006 | | max | 1985.277-1985.279=-0.002 |
| | mean | 2824.000-2849.000=-25.000 | | σ | 0.000 | | min | 2824.000-2849.000=-25.000 | | max | 2824.000-2849.000=-25.000 |
| | mean | 2.620-2.602=0.017 | | σ | 0.066-0.099=-0.033 | | min | 2.562-2.522=0.040 | | max | 2.718-2.771=-0.054 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.758-4808.886=-0.128 | | σ | 7.414-7.712=-0.298 | | min | 4805.403-4805.413=-0.010 | | max | 4822.020-4822.681=-0.660 |
| | mean | 2824.000-2849.000=-25.000 | | σ | 0.000 | | min | 2824.000-2849.000=-25.000 | | max | 2824.000-2849.000=-25.000 |
| | mean | 8.876-9.099=-0.223 | | σ | 0.226-0.172=0.055 | | min | 8.690-8.919=-0.228 | | max | 9.194-9.292=-0.098 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.465-4996.389=0.076 | | σ | 0.022-0.159=-0.138 | | min | 4996.437-4996.107=0.330 | | max | 4996.487-4996.481=0.005 |
| | mean | 3064.800-3071.600=-6.800 | | σ | 310.453-297.107=13.346 | | min | 2824.000-2849.000=-25.000 | | max | 3538.000-3529.000=9.000 |
| | mean | 8.580-8.497=0.083 | | σ | 0.207-0.093=0.115 | | min | 8.406-8.406=0.001 | | max | 8.822-8.650=0.172 |
|