iters=5 new-facts=1 prior-facts=1 | | mean | 285.241-285.247=-0.006 | | σ | 0.035-0.036=-0.002 | | min | 285.188-285.200=-0.012 | | max | 285.283-285.285=-0.002 |
| | mean | 1620.000-1643.000=-23.000 | | σ | 0.000 | | min | 1620.000-1643.000=-23.000 | | max | 1620.000-1643.000=-23.000 |
| | mean | 0.391-0.383=0.008 | | σ | 0.009-0.001=0.008 | | min | 0.381-0.382=-0.001 | | max | 0.399-0.384=0.016 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.196-1295.191=0.006 | | σ | 0.105-0.107=-0.003 | | min | 1295.078-1295.075=0.003 | | max | 1295.311-1295.309=0.002 |
| | mean | 1620.000-1643.000=-23.000 | | σ | 0.000 | | min | 1620.000-1643.000=-23.000 | | max | 1620.000-1643.000=-23.000 |
| | mean | 1.937-1.925=0.012 | | σ | 0.141-0.117=0.024 | | min | 1.785-1.815=-0.030 | | max | 2.138-2.100=0.038 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1538.118-1538.098=0.020 | | σ | 3.989-4.048=-0.059 | | min | 1536.094-1536.040=0.054 | | max | 1545.243-1545.327=-0.083 |
| | mean | 1620.000-1643.000=-23.000 | | σ | 0.000 | | min | 1620.000-1643.000=-23.000 | | max | 1620.000-1643.000=-23.000 |
| | mean | 2.356-2.312=0.044 | | σ | 0.236-0.354=-0.118 | | min | 2.020-2.016=0.004 | | max | 2.678-2.789=-0.111 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1857.106-1857.103=0.003 | | σ | 0.047-0.053=-0.007 | | min | 1857.060-1857.057=0.003 | | max | 1857.170-1857.183=-0.013 |
| | mean | 1766.600-1771.400=-4.800 | | σ | 139.236-121.115=18.122 | | min | 1620.000-1643.000=-23.000 | | max | 1910.000-1891.000=19.000 |
| | mean | 3.091-3.049=0.042 | | σ | 0.314-0.221=0.093 | | min | 2.862-2.860=0.001 | | max | 3.642-3.429=0.213 |
|