iters=5 new-facts=1 prior-facts=1 | | mean | 284.694-284.704=-0.010 | | σ | 0.045-0.027=0.019 | | min | 284.630-284.677=-0.048 | | max | 284.741-284.735=0.005 |
| | mean | 1503.000-1640.000=-137.000 | | σ | 0.000 | | min | 1503.000-1640.000=-137.000 | | max | 1503.000-1640.000=-137.000 |
| | mean | 0.387-0.392=-0.005 | | σ | 0.018-0.007=0.011 | | min | 0.358-0.384=-0.026 | | max | 0.403-0.403=0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.107-1295.077=0.030 | | σ | 0.098-0.105=-0.007 | | min | 1294.997-1294.960=0.037 | | max | 1295.244-1295.206=0.038 |
| | mean | 1503.000-1640.000=-137.000 | | σ | 0.000 | | min | 1503.000-1640.000=-137.000 | | max | 1503.000-1640.000=-137.000 |
| | mean | 2.113-1.917=0.196 | | σ | 0.088-0.104=-0.016 | | min | 2.009-1.808=0.201 | | max | 2.199-2.037=0.162 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1539.257-1539.184=0.073 | | σ | 6.794-6.828=-0.034 | | min | 1536.111-1535.950=0.161 | | max | 1551.409-1551.395=0.014 |
| | mean | 1503.000-1640.000=-137.000 | | σ | 0.000 | | min | 1503.000-1640.000=-137.000 | | max | 1503.000-1640.000=-137.000 |
| | mean | 2.448-2.213=0.236 | | σ | 0.172-0.180=-0.007 | | min | 2.264-2.058=0.205 | | max | 2.661-2.489=0.173 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1856.986-1856.989=-0.003 | | σ | 0.065-0.059=0.006 | | min | 1856.912-1856.932=-0.020 | | max | 1857.062-1857.076=-0.014 |
| | mean | 1758.000-1773.200=-15.200 | | σ | 203.463-128.550=74.912 | | min | 1503.000-1640.000=-137.000 | | max | 1955.000-1902.000=53.000 |
| | mean | 2.967-3.045=-0.079 | | σ | 0.169-0.272=-0.103 | | min | 2.777-2.827=-0.050 | | max | 3.205-3.502=-0.298 |
|