iters=5 new-facts=1 prior-facts=1 | | mean | 277.176-277.195=-0.019 | | σ | 0.010-0.006=0.003 | | min | 277.162-277.189=-0.027 | | max | 277.190-277.206=-0.016 |
| | mean | 2628.000-2771.000=-143.000 | | σ | 0.000 | | min | 2628.000-2771.000=-143.000 | | max | 2628.000-2771.000=-143.000 |
| | mean | 0.402-0.397=0.004 | | σ | 0.007-0.010=-0.003 | | min | 0.392-0.392=-0.000 | | max | 0.411-0.416=-0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.434-2174.431=0.003 | | σ | 0.009-0.026=-0.017 | | min | 2174.425-2174.405=0.020 | | max | 2174.446-2174.473=-0.027 |
| | mean | 2628.000-2771.000=-143.000 | | σ | 0.000 | | min | 2628.000-2771.000=-143.000 | | max | 2628.000-2771.000=-143.000 |
| | mean | 3.024-2.929=0.095 | | σ | 0.180-0.114=0.067 | | min | 2.762-2.798=-0.035 | | max | 3.224-3.110=0.115 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.644-5052.629=0.015 | | σ | 0.986-0.976=0.010 | | min | 5052.064-5052.074=-0.011 | | max | 5054.397-5054.367=0.030 |
| | mean | 2628.000-2771.000=-143.000 | | σ | 0.000 | | min | 2628.000-2771.000=-143.000 | | max | 2628.000-2771.000=-143.000 |
| | mean | 8.913-8.620=0.293 | | σ | 0.659-0.611=0.048 | | min | 8.295-8.000=0.296 | | max | 9.953-9.609=0.344 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.362-5188.423=-0.061 | | σ | 0.126-0.088=0.038 | | min | 5188.167-5188.351=-0.184 | | max | 5188.516-5188.525=-0.009 |
| | mean | 3280.200-3252.200=28.000 | | σ | 436.529-356.611=79.918 | | min | 2674.000-2771.000=-97.000 | | max | 3684.000-3698.000=-14.000 |
| | mean | 9.086-8.912=0.174 | | σ | 0.601-0.237=0.364 | | min | 8.723-8.710=0.013 | | max | 10.154-9.261=0.893 |
|