iters=5 new-facts=1 prior-facts=1 | | mean | 278.826-278.818=0.008 | | σ | 0.005-0.019=-0.014 | | min | 278.820-278.785=0.035 | | max | 278.830-278.831=-0.001 |
| | mean | 2641.000-2673.000=-32.000 | | σ | 0.000 | | min | 2641.000-2673.000=-32.000 | | max | 2641.000-2673.000=-32.000 |
| | mean | 0.411-0.412=-0.001 | | σ | 0.004-0.002=0.002 | | min | 0.407-0.410=-0.002 | | max | 0.418-0.415=0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.885-2268.886=-0.001 | | σ | 0.021-0.015=0.007 | | min | 2268.849-2268.875=-0.026 | | max | 2268.901-2268.911=-0.010 |
| | mean | 2641.000-2673.000=-32.000 | | σ | 0.000 | | min | 2641.000-2673.000=-32.000 | | max | 2641.000-2673.000=-32.000 |
| | mean | 2.904-3.146=-0.242 | | σ | 0.078-0.165=-0.088 | | min | 2.847-2.918=-0.071 | | max | 3.041-3.365=-0.324 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.274-4954.269=0.005 | | σ | 0.885-0.951=-0.066 | | min | 4953.779-4953.694=0.084 | | max | 4955.849-4955.952=-0.103 |
| | mean | 2641.000-2673.000=-32.000 | | σ | 0.000 | | min | 2641.000-2673.000=-32.000 | | max | 2641.000-2673.000=-32.000 |
| | mean | 7.946-8.117=-0.171 | | σ | 0.275-0.347=-0.071 | | min | 7.632-7.837=-0.205 | | max | 8.279-8.608=-0.330 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5168.827-5168.822=0.005 | | σ | 0.095-0.090=0.005 | | min | 5168.720-5168.719=0.001 | | max | 5168.901-5168.897=0.004 |
| | mean | 3399.400-3447.400=-48.000 | | σ | 463.511-477.946=-14.436 | | min | 2814.000-2890.000=-76.000 | | max | 4023.000-4139.000=-116.000 |
| | mean | 9.402-9.221=0.181 | | σ | 0.237-0.240=-0.003 | | min | 9.146-9.015=0.131 | | max | 9.708-9.597=0.111 |
|