iters=5 new-facts=1 prior-facts=1 | | mean | 281.496-285.247=-3.751 | | σ | 0.036-0.040=-0.004 | | min | 281.449-285.198=-3.750 | | max | 281.535-285.289=-3.754 |
| | mean | 1627.000-1636.000=-9.000 | | σ | 0.000 | | min | 1627.000-1636.000=-9.000 | | max | 1627.000-1636.000=-9.000 |
| | mean | 0.395-0.385=0.010 | | σ | 0.007-0.011=-0.004 | | min | 0.387-0.380=0.007 | | max | 0.402-0.405=-0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1291.476-1295.194=-3.718 | | σ | 0.098-0.097=0.002 | | min | 1291.364-1295.082=-3.719 | | max | 1291.585-1295.296=-3.711 |
| | mean | 1627.000-1636.000=-9.000 | | σ | 0.000 | | min | 1627.000-1636.000=-9.000 | | max | 1627.000-1636.000=-9.000 |
| | mean | 1.988-1.944=0.044 | | σ | 0.145-0.126=0.019 | | min | 1.815-1.809=0.006 | | max | 2.215-2.104=0.111 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1534.334-1538.093=-3.758 | | σ | 4.003-4.022=-0.019 | | min | 1532.322-1536.052=-3.730 | | max | 1541.487-1545.275=-3.788 |
| | mean | 1627.000-1636.000=-9.000 | | σ | 0.000 | | min | 1627.000-1636.000=-9.000 | | max | 1627.000-1636.000=-9.000 |
| | mean | 2.178-2.289=-0.110 | | σ | 0.162-0.289=-0.128 | | min | 2.040-2.035=0.005 | | max | 2.391-2.626=-0.235 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1853.355-1857.111=-3.756 | | σ | 0.050-0.067=-0.017 | | min | 1853.304-1857.039=-3.735 | | max | 1853.422-1857.202=-3.781 |
| | mean | 1790.600-1788.000=2.600 | | σ | 148.616-151.516=-2.899 | | min | 1627.000-1636.000=-9.000 | | max | 1938.000-1943.000=-5.000 |
| | mean | 3.143-3.004=0.139 | | σ | 0.276-0.117=0.159 | | min | 2.892-2.876=0.017 | | max | 3.616-3.110=0.505 |
|