iters=5 new-facts=1 prior-facts=1 | | mean | 294.668-294.678=-0.009 | | σ | 0.022-0.017=0.005 | | min | 294.635-294.660=-0.025 | | max | 294.688-294.705=-0.017 |
| | mean | 1653.000-1656.000=-3.000 | | σ | 0.000 | | min | 1653.000-1656.000=-3.000 | | max | 1653.000-1656.000=-3.000 |
| | mean | 0.390-0.386=0.004 | | σ | 0.009-0.007=0.002 | | min | 0.381-0.380=0.001 | | max | 0.400-0.393=0.006 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1316.941-1316.937=0.005 | | σ | 0.105-0.099=0.006 | | min | 1316.885-1316.872=0.012 | | max | 1317.129-1317.112=0.017 |
| | mean | 1653.000-1656.000=-3.000 | | σ | 0.000 | | min | 1653.000-1656.000=-3.000 | | max | 1653.000-1656.000=-3.000 |
| | mean | 2.025-1.976=0.049 | | σ | 0.118-0.112=0.006 | | min | 1.890-1.848=0.042 | | max | 2.166-2.102=0.064 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1555.311-1555.314=-0.003 | | σ | 6.827-6.835=-0.008 | | min | 1552.005-1552.071=-0.066 | | max | 1567.518-1567.537=-0.020 |
| | mean | 1653.000-1656.000=-3.000 | | σ | 0.000 | | min | 1653.000-1656.000=-3.000 | | max | 1653.000-1656.000=-3.000 |
| | mean | 2.307-2.307=0.000 | | σ | 0.104-0.226=-0.122 | | min | 2.162-2.080=0.082 | | max | 2.424-2.564=-0.140 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1884.782-1884.775=0.007 | | σ | 0.022-0.033=-0.012 | | min | 1884.757-1884.749=0.008 | | max | 1884.816-1884.833=-0.017 |
| | mean | 1792.800-1783.000=9.800 | | σ | 151.724-161.926=-10.202 | | min | 1653.000-1656.000=-3.000 | | max | 1953.000-2041.000=-88.000 |
| | mean | 3.178-3.005=0.173 | | σ | 0.386-0.155=0.231 | | min | 2.895-2.886=0.009 | | max | 3.855-3.242=0.613 |
|