iters=5 new-facts=1 prior-facts=1 | | mean | 285.026-284.699=0.327 | | σ | 0.038-0.036=0.002 | | min | 284.975-284.655=0.320 | | max | 285.064-284.741=0.323 |
| | mean | 1646.000-1637.000=9.000 | | σ | 0.000 | | min | 1646.000-1637.000=9.000 | | max | 1646.000-1637.000=9.000 |
| | mean | 0.395-0.396=-0.001 | | σ | 0.009-0.011=-0.002 | | min | 0.387-0.384=0.003 | | max | 0.409-0.407=0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.409-1295.084=0.325 | | σ | 0.109-0.116=-0.007 | | min | 1295.282-1294.963=0.319 | | max | 1295.540-1295.224=0.316 |
| | mean | 1646.000-1637.000=9.000 | | σ | 0.000 | | min | 1646.000-1637.000=9.000 | | max | 1646.000-1637.000=9.000 |
| | mean | 1.981-1.865=0.116 | | σ | 0.129-0.075=0.054 | | min | 1.825-1.795=0.029 | | max | 2.165-1.969=0.196 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1539.525-1539.191=0.334 | | σ | 6.852-6.852=-0.001 | | min | 1536.236-1535.966=0.270 | | max | 1551.777-1551.446=0.330 |
| | mean | 1646.000-1637.000=9.000 | | σ | 0.000 | | min | 1646.000-1637.000=9.000 | | max | 1646.000-1637.000=9.000 |
| | mean | 2.227-2.186=0.041 | | σ | 0.191-0.173=0.018 | | min | 2.049-2.008=0.041 | | max | 2.516-2.411=0.105 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1857.317-1856.981=0.336 | | σ | 0.054-0.065=-0.011 | | min | 1857.272-1856.902=0.370 | | max | 1857.400-1857.075=0.325 |
| | mean | 1774.200-1776.000=-1.800 | | σ | 134.057-131.809=2.248 | | min | 1646.000-1637.000=9.000 | | max | 1914.000-1910.000=4.000 |
| | mean | 3.079-3.049=0.030 | | σ | 0.275-0.324=-0.049 | | min | 2.859-2.810=0.048 | | max | 3.556-3.607=-0.051 |
|