iters=5 new-facts=1 prior-facts=1 | | mean | 278.817-278.826=-0.008 | | σ | 0.015-0.005=0.010 | | min | 278.792-278.820=-0.028 | | max | 278.829-278.833=-0.004 |
| | mean | 2695.000-2587.000=108.000 | | σ | 0.000 | | min | 2695.000-2587.000=108.000 | | max | 2695.000-2587.000=108.000 |
| | mean | 0.425-0.408=0.017 | | σ | 0.009-0.002=0.007 | | min | 0.409-0.406=0.003 | | max | 0.431-0.411=0.020 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.881-2268.876=0.005 | | σ | 0.007-0.014=-0.006 | | min | 2268.871-2268.851=0.020 | | max | 2268.892-2268.884=0.008 |
| | mean | 2695.000-2587.000=108.000 | | σ | 0.000 | | min | 2695.000-2587.000=108.000 | | max | 2695.000-2587.000=108.000 |
| | mean | 2.966-3.234=-0.268 | | σ | 0.075-0.337=-0.262 | | min | 2.911-2.954=-0.043 | | max | 3.096-3.790=-0.693 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.275-4954.288=-0.013 | | σ | 1.035-0.956=0.079 | | min | 4953.573-4953.644=-0.071 | | max | 4956.100-4955.978=0.122 |
| | mean | 2695.000-2587.000=108.000 | | σ | 0.000 | | min | 2695.000-2587.000=108.000 | | max | 2695.000-2587.000=108.000 |
| | mean | 8.308-8.089=0.219 | | σ | 0.565-0.446=0.119 | | min | 7.691-7.789=-0.098 | | max | 9.233-8.874=0.359 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5168.821-5168.827=-0.006 | | σ | 0.090-0.094=-0.004 | | min | 5168.720-5168.721=-0.001 | | max | 5168.900-5168.911=-0.011 |
| | mean | 3399.800-3426.200=-26.400 | | σ | 461.109-506.759=-45.650 | | min | 2814.000-2838.000=-24.000 | | max | 4016.000-4185.000=-169.000 |
| | mean | 9.337-9.306=0.031 | | σ | 0.262-0.443=-0.181 | | min | 8.957-8.630=0.327 | | max | 9.655-9.761=-0.106 |
|