iters=5 new-facts=1 prior-facts=1 | | mean | 272.011-272.015=-0.004 | | σ | 0.005-0.007=-0.002 | | min | 272.004-272.005=-0.001 | | max | 272.017-272.022=-0.004 |
| | mean | 2727.000-2758.000=-31.000 | | σ | 0.000 | | min | 2727.000-2758.000=-31.000 | | max | 2727.000-2758.000=-31.000 |
| | mean | 0.386-0.390=-0.005 | | σ | 0.008-0.005=0.003 | | min | 0.379-0.382=-0.002 | | max | 0.400-0.395=0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.437-1932.432=0.005 | | σ | 0.012-0.011=0.000 | | min | 1932.418-1932.419=-0.001 | | max | 1932.446-1932.444=0.002 |
| | mean | 2727.000-2758.000=-31.000 | | σ | 0.000 | | min | 2727.000-2758.000=-31.000 | | max | 2727.000-2758.000=-31.000 |
| | mean | 2.999-2.985=0.014 | | σ | 0.070-0.087=-0.017 | | min | 2.947-2.867=0.080 | | max | 3.117-3.102=0.015 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.053-4753.016=0.036 | | σ | 0.895-0.938=-0.043 | | min | 4752.326-4752.195=0.131 | | max | 4754.612-4754.626=-0.013 |
| | mean | 2727.000-2758.000=-31.000 | | σ | 0.000 | | min | 2727.000-2758.000=-31.000 | | max | 2727.000-2758.000=-31.000 |
| | mean | 8.415-8.637=-0.222 | | σ | 0.302-0.391=-0.089 | | min | 8.012-8.219=-0.207 | | max | 8.796-9.093=-0.297 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.563-4943.626=-0.063 | | σ | 0.166-0.022=0.143 | | min | 4943.268-4943.600=-0.331 | | max | 4943.653-4943.651=0.003 |
| | mean | 3044.400-2972.600=71.800 | | σ | 273.058-271.921=1.138 | | min | 2727.000-2758.000=-31.000 | | max | 3420.000-3398.000=22.000 |
| | mean | 8.507-8.403=0.104 | | σ | 0.094-0.046=0.048 | | min | 8.360-8.367=-0.007 | | max | 8.592-8.464=0.127 |
|