iters=5 new-facts=1 prior-facts=1 | | mean | 277.385-277.387=-0.002 | | σ | 0.006-0.005=0.001 | | min | 277.377-277.382=-0.005 | | max | 277.393-277.394=-0.001 |
| | mean | 2624.000-2611.000=13.000 | | σ | 0.000 | | min | 2624.000-2611.000=13.000 | | max | 2624.000-2611.000=13.000 |
| | mean | 0.394-0.394=0.000 | | σ | 0.005-0.004=0.001 | | min | 0.391-0.391=0.000 | | max | 0.403-0.401=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.626-2174.618=0.008 | | σ | 0.010-0.012=-0.002 | | min | 2174.612-2174.601=0.012 | | max | 2174.640-2174.634=0.006 |
| | mean | 2624.000-2611.000=13.000 | | σ | 0.000 | | min | 2624.000-2611.000=13.000 | | max | 2624.000-2611.000=13.000 |
| | mean | 2.984-2.847=0.137 | | σ | 0.126-0.122=0.005 | | min | 2.795-2.745=0.050 | | max | 3.148-3.028=0.120 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.780-5052.667=0.112 | | σ | 0.969-1.059=-0.089 | | min | 5052.172-5051.768=0.404 | | max | 5054.485-5054.497=-0.012 |
| | mean | 2624.000-2611.000=13.000 | | σ | 0.000 | | min | 2624.000-2611.000=13.000 | | max | 2624.000-2611.000=13.000 |
| | mean | 9.004-9.022=-0.018 | | σ | 0.620-0.413=0.207 | | min | 8.107-8.521=-0.415 | | max | 9.631-9.625=0.007 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.600-5188.619=-0.019 | | σ | 0.111-0.088=0.023 | | min | 5188.457-5188.546=-0.089 | | max | 5188.716-5188.720=-0.005 |
| | mean | 3223.600-3206.000=17.600 | | σ | 386.268-494.302=-108.034 | | min | 2684.000-2611.000=73.000 | | max | 3708.000-3866.000=-158.000 |
| | mean | 8.953-8.699=0.254 | | σ | 0.426-0.130=0.296 | | min | 8.676-8.561=0.115 | | max | 9.699-8.913=0.786 |
|