iters=5 new-facts=1 prior-facts=1 | | mean | 285.412-285.409=0.003 | | σ | 0.031-0.035=-0.004 | | min | 285.373-285.364=0.009 | | max | 285.446-285.446=-0.000 |
| | mean | 1661.000-1617.000=44.000 | | σ | 0.000 | | min | 1661.000-1617.000=44.000 | | max | 1661.000-1617.000=44.000 |
| | mean | 0.393-0.393=-0.000 | | σ | 0.011-0.010=0.001 | | min | 0.384-0.382=0.002 | | max | 0.405-0.404=0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.792-1295.802=-0.010 | | σ | 0.101-0.113=-0.012 | | min | 1295.680-1295.678=0.001 | | max | 1295.897-1295.960=-0.063 |
| | mean | 1661.000-1617.000=44.000 | | σ | 0.000 | | min | 1661.000-1617.000=44.000 | | max | 1661.000-1617.000=44.000 |
| | mean | 1.916-1.957=-0.041 | | σ | 0.090-0.129=-0.039 | | min | 1.817-1.832=-0.015 | | max | 2.004-2.171=-0.167 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1539.949-1539.996=-0.047 | | σ | 6.885-6.853=0.032 | | min | 1536.595-1536.638=-0.043 | | max | 1552.259-1552.249=0.010 |
| | mean | 1661.000-1617.000=44.000 | | σ | 0.000 | | min | 1661.000-1617.000=44.000 | | max | 1661.000-1617.000=44.000 |
| | mean | 2.401-2.496=-0.095 | | σ | 0.193-0.317=-0.124 | | min | 2.132-2.048=0.084 | | max | 2.598-2.749=-0.151 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1857.702-1857.706=-0.004 | | σ | 0.055-0.052=0.003 | | min | 1857.653-1857.648=0.005 | | max | 1857.778-1857.775=0.003 |
| | mean | 1775.200-1770.200=5.000 | | σ | 121.321-141.148=-19.827 | | min | 1661.000-1617.000=44.000 | | max | 1902.000-1914.000=-12.000 |
| | mean | 3.071-3.100=-0.029 | | σ | 0.239-0.315=-0.075 | | min | 2.873-2.864=0.009 | | max | 3.482-3.645=-0.163 |
|