iters=5 new-facts=1 prior-facts=1 | | mean | 324.774-324.760=0.014 | | σ | 0.040-0.062=-0.022 | | min | 324.705-324.650=0.055 | | max | 324.807-324.798=0.009 |
| | mean | 2842.000-2845.000=-3.000 | | σ | 0.000 | | min | 2842.000-2845.000=-3.000 | | max | 2842.000-2845.000=-3.000 |
| | mean | 0.428-0.431=-0.003 | | σ | 0.007-0.012=-0.005 | | min | 0.421-0.421=0.000 | | max | 0.439-0.446=-0.008 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.306-1985.319=-0.013 | | σ | 0.024-0.026=-0.002 | | min | 1985.275-1985.273=0.001 | | max | 1985.330-1985.339=-0.009 |
| | mean | 2842.000-2845.000=-3.000 | | σ | 0.000 | | min | 2842.000-2845.000=-3.000 | | max | 2842.000-2845.000=-3.000 |
| | mean | 2.667-2.586=0.081 | | σ | 0.094-0.084=0.011 | | min | 2.561-2.465=0.096 | | max | 2.759-2.682=0.077 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4809.076-4809.105=-0.029 | | σ | 7.723-7.779=-0.056 | | min | 4805.565-4805.591=-0.027 | | max | 4822.890-4823.020=-0.130 |
| | mean | 2842.000-2845.000=-3.000 | | σ | 0.000 | | min | 2842.000-2845.000=-3.000 | | max | 2842.000-2845.000=-3.000 |
| | mean | 8.812-9.049=-0.237 | | σ | 0.178-0.319=-0.141 | | min | 8.556-8.791=-0.235 | | max | 9.054-9.575=-0.521 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.560-4996.481=0.079 | | σ | 0.146-0.201=-0.055 | | min | 4996.300-4996.247=0.053 | | max | 4996.652-4996.641=0.011 |
| | mean | 3049.400-3060.400=-11.000 | | σ | 285.262-230.370=54.892 | | min | 2842.000-2845.000=-3.000 | | max | 3501.000-3400.000=101.000 |
| | mean | 8.518-8.670=-0.152 | | σ | 0.127-0.160=-0.033 | | min | 8.411-8.454=-0.042 | | max | 8.691-8.898=-0.207 |
|