iters=5 new-facts=1 prior-facts=1 | | mean | 277.880-277.881=-0.001 | | σ | 0.008-0.006=0.001 | | min | 277.868-277.874=-0.006 | | max | 277.886-277.891=-0.005 |
| | mean | 2884.000-2482.000=402.000 | | σ | 0.000 | | min | 2884.000-2482.000=402.000 | | max | 2884.000-2482.000=402.000 |
| | mean | 0.406-0.406=0.000 | | σ | 0.007-0.007=-0.000 | | min | 0.398-0.399=-0.000 | | max | 0.413-0.414=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2176.826-2176.830=-0.004 | | σ | 0.008-0.012=-0.004 | | min | 2176.818-2176.812=0.006 | | max | 2176.835-2176.841=-0.006 |
| | mean | 2884.000-2482.000=402.000 | | σ | 0.000 | | min | 2884.000-2482.000=402.000 | | max | 2884.000-2482.000=402.000 |
| | mean | 3.360-3.401=-0.041 | | σ | 0.114-0.112=0.002 | | min | 3.260-3.276=-0.016 | | max | 3.548-3.577=-0.029 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5054.468-5054.712=-0.244 | | σ | 0.732-0.931=-0.199 | | min | 5053.871-5054.158=-0.287 | | max | 5055.742-5056.371=-0.628 |
| | mean | 2884.000-2482.000=402.000 | | σ | 0.000 | | min | 2884.000-2482.000=402.000 | | max | 2884.000-2482.000=402.000 |
| | mean | 8.944-8.786=0.158 | | σ | 0.474-0.543=-0.069 | | min | 8.247-8.055=0.192 | | max | 9.538-9.317=0.221 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5192.049-5192.124=-0.075 | | σ | 0.120-0.093=0.027 | | min | 5191.874-5192.049=-0.174 | | max | 5192.213-5192.226=-0.014 |
| | mean | 3312.400-3253.200=59.200 | | σ | 360.306-419.751=-59.446 | | min | 2884.000-2675.000=209.000 | | max | 3672.000-3645.000=27.000 |
| | mean | 8.810-8.799=0.011 | | σ | 0.086-0.132=-0.045 | | min | 8.682-8.585=0.097 | | max | 8.905-8.944=-0.039 |
|