iters=5 new-facts=1 prior-facts=1 | | mean | 284.724-303.804=-19.081 | | σ | 0.026-0.061=-0.034 | | min | 284.699-303.708=-19.009 | | max | 284.754-303.867=-19.113 |
| | mean | 1426.000-1622.000=-196.000 | | σ | 0.000 | | min | 1426.000-1622.000=-196.000 | | max | 1426.000-1622.000=-196.000 |
| | mean | 0.397-0.391=0.006 | | σ | 0.011-0.003=0.009 | | min | 0.387-0.389=-0.002 | | max | 0.412-0.395=0.016 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.116-1326.361=-31.245 | | σ | 0.072-0.108=-0.036 | | min | 1295.032-1326.225=-31.193 | | max | 1295.187-1326.481=-31.295 |
| | mean | 1426.000-1622.000=-196.000 | | σ | 0.000 | | min | 1426.000-1622.000=-196.000 | | max | 1426.000-1622.000=-196.000 |
| | mean | 2.097-1.878=0.219 | | σ | 0.113-0.057=0.056 | | min | 2.022-1.828=0.194 | | max | 2.291-1.958=0.333 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1539.272-1564.433=-25.161 | | σ | 6.809-6.911=-0.102 | | min | 1536.084-1561.142=-25.058 | | max | 1551.450-1576.791=-25.341 |
| | mean | 1426.000-1622.000=-196.000 | | σ | 0.000 | | min | 1426.000-1622.000=-196.000 | | max | 1426.000-1622.000=-196.000 |
| | mean | 2.355-2.391=-0.036 | | σ | 0.205-0.313=-0.108 | | min | 2.108-2.059=0.049 | | max | 2.557-2.749=-0.192 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1857.007-1894.301=-37.294 | | σ | 0.060-0.063=-0.003 | | min | 1856.924-1894.191=-37.267 | | max | 1857.068-1894.346=-37.278 |
| | mean | 1736.600-1767.400=-30.800 | | σ | 181.524-175.289=6.234 | | min | 1481.000-1622.000=-141.000 | | max | 1906.000-2041.000=-135.000 |
| | mean | 3.098-3.001=0.098 | | σ | 0.307-0.188=0.119 | | min | 2.844-2.860=-0.016 | | max | 3.598-3.304=0.293 |
|