iters=5 new-facts=1 prior-facts=1 | | mean | 277.194-277.194=0.000 | | σ | 0.005-0.005=0.000 | | min | 277.189-277.188=0.001 | | max | 277.199-277.199=-0.000 |
| | mean | 2616.000-2667.000=-51.000 | | σ | 0.000 | | min | 2616.000-2667.000=-51.000 | | max | 2616.000-2667.000=-51.000 |
| | mean | 0.397-0.395=0.002 | | σ | 0.005-0.004=0.001 | | min | 0.393-0.392=0.001 | | max | 0.405-0.402=0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.441-2174.435=0.005 | | σ | 0.017-0.021=-0.003 | | min | 2174.426-2174.406=0.020 | | max | 2174.467-2174.464=0.003 |
| | mean | 2616.000-2667.000=-51.000 | | σ | 0.000 | | min | 2616.000-2667.000=-51.000 | | max | 2616.000-2667.000=-51.000 |
| | mean | 2.966-2.825=0.141 | | σ | 0.134-0.137=-0.002 | | min | 2.796-2.746=0.051 | | max | 3.101-3.068=0.033 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.385-5052.660=-0.275 | | σ | 1.131-1.025=0.106 | | min | 5051.567-5051.998=-0.431 | | max | 5054.330-5054.478=-0.148 |
| | mean | 2616.000-2667.000=-51.000 | | σ | 0.000 | | min | 2616.000-2667.000=-51.000 | | max | 2616.000-2667.000=-51.000 |
| | mean | 8.839-8.823=0.016 | | σ | 0.707-1.015=-0.307 | | min | 8.051-8.029=0.022 | | max | 9.530-10.468=-0.937 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.355-5188.352=0.003 | | σ | 0.115-0.211=-0.096 | | min | 5188.181-5188.002=0.179 | | max | 5188.503-5188.527=-0.024 |
| | mean | 3237.600-3276.200=-38.600 | | σ | 394.756-482.314=-87.558 | | min | 2698.000-2667.000=31.000 | | max | 3739.000-3858.000=-119.000 |
| | mean | 9.066-8.937=0.129 | | σ | 0.257-0.429=-0.172 | | min | 8.720-8.652=0.068 | | max | 9.318-9.675=-0.357 |
|