iters=5 new-facts=1 prior-facts=1 | | mean | 285.404-285.412=-0.008 | | σ | 0.034-0.031=0.003 | | min | 285.358-285.373=-0.015 | | max | 285.442-285.446=-0.004 |
| | mean | 1643.000-1661.000=-18.000 | | σ | 0.000 | | min | 1643.000-1661.000=-18.000 | | max | 1643.000-1661.000=-18.000 |
| | mean | 0.388-0.393=-0.004 | | σ | 0.010-0.011=-0.000 | | min | 0.383-0.384=-0.001 | | max | 0.407-0.405=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.806-1295.792=0.015 | | σ | 0.124-0.101=0.022 | | min | 1295.679-1295.680=-0.001 | | max | 1295.973-1295.897=0.076 |
| | mean | 1643.000-1661.000=-18.000 | | σ | 0.000 | | min | 1643.000-1661.000=-18.000 | | max | 1643.000-1661.000=-18.000 |
| | mean | 1.905-1.916=-0.011 | | σ | 0.071-0.090=-0.019 | | min | 1.828-1.817=0.011 | | max | 1.974-2.004=-0.031 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1539.931-1539.949=-0.018 | | σ | 6.916-6.885=0.031 | | min | 1536.561-1536.595=-0.034 | | max | 1552.297-1552.259=0.038 |
| | mean | 1643.000-1661.000=-18.000 | | σ | 0.000 | | min | 1643.000-1661.000=-18.000 | | max | 1643.000-1661.000=-18.000 |
| | mean | 2.402-2.401=0.001 | | σ | 0.344-0.193=0.151 | | min | 2.018-2.132=-0.114 | | max | 2.869-2.598=0.272 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1857.703-1857.702=0.001 | | σ | 0.055-0.055=0.000 | | min | 1857.650-1857.653=-0.003 | | max | 1857.779-1857.778=0.001 |
| | mean | 1779.000-1775.200=3.800 | | σ | 130.499-121.321=9.178 | | min | 1643.000-1661.000=-18.000 | | max | 1913.000-1902.000=11.000 |
| | mean | 3.071-3.071=0.001 | | σ | 0.191-0.239=-0.048 | | min | 2.853-2.873=-0.020 | | max | 3.274-3.482=-0.208 |
|