iters=5 new-facts=1 prior-facts=1 | | mean | 275.390-275.389=0.000 | | σ | 0.005-0.004=0.000 | | min | 275.383-275.386=-0.003 | | max | 275.394-275.395=-0.001 |
| | mean | 2869.000-2782.000=87.000 | | σ | 0.000 | | min | 2869.000-2782.000=87.000 | | max | 2869.000-2782.000=87.000 |
| | mean | 0.387-0.388=-0.001 | | σ | 0.005-0.001=0.004 | | min | 0.383-0.387=-0.005 | | max | 0.395-0.389=0.006 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1935.768-1935.777=-0.009 | | σ | 0.015-0.007=0.009 | | min | 1935.752-1935.771=-0.020 | | max | 1935.786-1935.786=0.000 |
| | mean | 2869.000-2782.000=87.000 | | σ | 0.000 | | min | 2869.000-2782.000=87.000 | | max | 2869.000-2782.000=87.000 |
| | mean | 3.018-3.069=-0.051 | | σ | 0.057-0.071=-0.014 | | min | 2.952-3.032=-0.080 | | max | 3.108-3.195=-0.087 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4756.513-4756.590=-0.078 | | σ | 0.878-0.840=0.038 | | min | 4755.998-4756.162=-0.164 | | max | 4758.077-4758.091=-0.013 |
| | mean | 2869.000-2782.000=87.000 | | σ | 0.000 | | min | 2869.000-2782.000=87.000 | | max | 2869.000-2782.000=87.000 |
| | mean | 8.749-8.234=0.515 | | σ | 0.252-0.327=-0.075 | | min | 8.499-7.725=0.774 | | max | 9.163-8.565=0.598 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4946.941-4946.932=0.009 | | σ | 0.148-0.161=-0.014 | | min | 4946.678-4946.644=0.034 | | max | 4947.033-4947.025=0.008 |
| | mean | 3034.600-3049.600=-15.000 | | σ | 191.512-327.855=-136.343 | | min | 2869.000-2782.000=87.000 | | max | 3337.000-3544.000=-207.000 |
| | mean | 8.567-8.460=0.107 | | σ | 0.097-0.125=-0.028 | | min | 8.435-8.321=0.114 | | max | 8.697-8.639=0.058 |
|