iters=5 new-facts=1 prior-facts=1 | | mean | 284.691-284.698=-0.006 | | σ | 0.041-0.038=0.003 | | min | 284.636-284.652=-0.016 | | max | 284.738-284.745=-0.006 |
| | mean | 1621.000-1643.000=-22.000 | | σ | 0.000 | | min | 1621.000-1643.000=-22.000 | | max | 1621.000-1643.000=-22.000 |
| | mean | 0.397-0.396=0.001 | | σ | 0.011-0.016=-0.005 | | min | 0.385-0.373=0.012 | | max | 0.407-0.409=-0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.071-1295.075=-0.004 | | σ | 0.105-0.106=-0.001 | | min | 1294.951-1294.963=-0.012 | | max | 1295.202-1295.201=0.000 |
| | mean | 1621.000-1643.000=-22.000 | | σ | 0.000 | | min | 1621.000-1643.000=-22.000 | | max | 1621.000-1643.000=-22.000 |
| | mean | 1.892-1.912=-0.020 | | σ | 0.111-0.113=-0.002 | | min | 1.719-1.793=-0.074 | | max | 1.998-2.071=-0.073 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1539.201-1539.182=0.019 | | σ | 6.832-6.850=-0.019 | | min | 1535.953-1535.925=0.028 | | max | 1551.419-1551.433=-0.014 |
| | mean | 1621.000-1643.000=-22.000 | | σ | 0.000 | | min | 1621.000-1643.000=-22.000 | | max | 1621.000-1643.000=-22.000 |
| | mean | 2.158-2.256=-0.097 | | σ | 0.133-0.237=-0.104 | | min | 2.022-2.032=-0.010 | | max | 2.369-2.602=-0.233 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1856.966-1856.990=-0.024 | | σ | 0.077-0.056=0.021 | | min | 1856.884-1856.931=-0.046 | | max | 1857.073-1857.073=0.000 |
| | mean | 1777.600-1780.400=-2.800 | | σ | 128.995-132.075=-3.080 | | min | 1621.000-1643.000=-22.000 | | max | 1899.000-1913.000=-14.000 |
| | mean | 3.013-3.017=-0.004 | | σ | 0.227-0.179=0.047 | | min | 2.859-2.876=-0.017 | | max | 3.407-3.309=0.098 |
|