iters=5 new-facts=1 prior-facts=1 | | mean | 277.172-277.178=-0.006 | | σ | 0.006-0.018=-0.011 | | min | 277.166-277.160=0.006 | | max | 277.181-277.201=-0.020 |
| | mean | 2696.000-2464.000=232.000 | | σ | 0.000 | | min | 2696.000-2464.000=232.000 | | max | 2696.000-2464.000=232.000 |
| | mean | 0.407-0.394=0.013 | | σ | 0.009-0.003=0.006 | | min | 0.401-0.391=0.010 | | max | 0.421-0.397=0.024 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.402-2174.447=-0.045 | | σ | 0.042-0.017=0.025 | | min | 2174.331-2174.425=-0.094 | | max | 2174.433-2174.471=-0.037 |
| | mean | 2696.000-2464.000=232.000 | | σ | 0.000 | | min | 2696.000-2464.000=232.000 | | max | 2696.000-2464.000=232.000 |
| | mean | 2.888-3.033=-0.145 | | σ | 0.180-0.126=0.054 | | min | 2.740-2.835=-0.096 | | max | 3.136-3.184=-0.048 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.585-5052.580=0.005 | | σ | 0.999-1.015=-0.016 | | min | 5052.058-5052.007=0.051 | | max | 5054.369-5054.387=-0.018 |
| | mean | 2696.000-2464.000=232.000 | | σ | 0.000 | | min | 2696.000-2464.000=232.000 | | max | 2696.000-2464.000=232.000 |
| | mean | 8.906-8.975=-0.069 | | σ | 0.646-0.492=0.154 | | min | 8.014-8.244=-0.229 | | max | 9.832-9.602=0.229 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.352-5188.429=-0.077 | | σ | 0.127-0.082=0.045 | | min | 5188.167-5188.366=-0.199 | | max | 5188.526-5188.525=0.002 |
| | mean | 3285.600-3282.200=3.400 | | σ | 479.987-424.125=55.862 | | min | 2696.000-2683.000=13.000 | | max | 3876.000-3672.000=204.000 |
| | mean | 8.794-9.000=-0.205 | | σ | 0.164-0.385=-0.221 | | min | 8.669-8.781=-0.113 | | max | 9.042-9.686=-0.644 |
|