iters=5 new-facts=1 prior-facts=1 | | mean | 284.697-284.689=0.008 | | σ | 0.035-0.035=0.000 | | min | 284.656-284.641=0.014 | | max | 284.738-284.728=0.010 |
| | mean | 1638.000-1640.000=-2.000 | | σ | 0.000 | | min | 1638.000-1640.000=-2.000 | | max | 1638.000-1640.000=-2.000 |
| | mean | 0.396-0.396=0.000 | | σ | 0.011-0.011=0.000 | | min | 0.384-0.383=0.001 | | max | 0.405-0.404=0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.080-1295.077=0.003 | | σ | 0.109-0.110=-0.001 | | min | 1294.961-1294.960=0.001 | | max | 1295.214-1295.215=-0.001 |
| | mean | 1638.000-1640.000=-2.000 | | σ | 0.000 | | min | 1638.000-1640.000=-2.000 | | max | 1638.000-1640.000=-2.000 |
| | mean | 1.909-1.918=-0.009 | | σ | 0.083-0.100=-0.017 | | min | 1.816-1.812=0.004 | | max | 2.002-2.039=-0.037 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1539.190-1539.187=0.002 | | σ | 6.865-6.848=0.017 | | min | 1535.936-1535.941=-0.005 | | max | 1551.466-1551.435=0.031 |
| | mean | 1638.000-1640.000=-2.000 | | σ | 0.000 | | min | 1638.000-1640.000=-2.000 | | max | 1638.000-1640.000=-2.000 |
| | mean | 2.274-2.252=0.022 | | σ | 0.247-0.255=-0.008 | | min | 2.027-2.045=-0.018 | | max | 2.542-2.621=-0.079 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1856.991-1856.988=0.003 | | σ | 0.056-0.051=0.005 | | min | 1856.925-1856.944=-0.018 | | max | 1857.067-1857.068=-0.001 |
| | mean | 1775.200-1769.600=5.600 | | σ | 131.336-128.910=2.426 | | min | 1638.000-1640.000=-2.000 | | max | 1907.000-1901.000=6.000 |
| | mean | 3.093-3.056=0.037 | | σ | 0.423-0.276=0.147 | | min | 2.763-2.837=-0.073 | | max | 3.826-3.538=0.288 |
|