iters=5 new-facts=1 prior-facts=1 | | mean | 324.705-324.716=-0.010 | | σ | 0.054-0.024=0.030 | | min | 324.609-324.672=-0.063 | | max | 324.737-324.732=0.006 |
| | mean | 2845.000-2728.000=117.000 | | σ | 0.000 | | min | 2845.000-2728.000=117.000 | | max | 2845.000-2728.000=117.000 |
| | mean | 0.427-0.423=0.004 | | σ | 0.004-0.001=0.003 | | min | 0.424-0.421=0.003 | | max | 0.434-0.425=0.009 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.273-1985.262=0.011 | | σ | 0.002-0.026=-0.023 | | min | 1985.270-1985.220=0.050 | | max | 1985.275-1985.281=-0.006 |
| | mean | 2845.000-2728.000=117.000 | | σ | 0.000 | | min | 2845.000-2728.000=117.000 | | max | 2845.000-2728.000=117.000 |
| | mean | 2.623-2.616=0.007 | | σ | 0.079-0.074=0.006 | | min | 2.566-2.575=-0.009 | | max | 2.752-2.747=0.005 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.669-4808.871=-0.202 | | σ | 7.824-7.734=0.090 | | min | 4804.274-4805.377=-1.103 | | max | 4822.632-4822.705=-0.073 |
| | mean | 2845.000-2728.000=117.000 | | σ | 0.000 | | min | 2845.000-2728.000=117.000 | | max | 2845.000-2728.000=117.000 |
| | mean | 8.717-9.070=-0.354 | | σ | 0.465-0.237=0.228 | | min | 8.165-8.857=-0.692 | | max | 9.151-9.463=-0.312 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.464-4996.469=-0.005 | | σ | 0.011-0.009=0.001 | | min | 4996.445-4996.456=-0.011 | | max | 4996.472-4996.478=-0.007 |
| | mean | 3064.000-3026.600=37.400 | | σ | 291.515-352.038=-60.523 | | min | 2845.000-2728.000=117.000 | | max | 3513.000-3544.000=-31.000 |
| | mean | 8.498-8.588=-0.090 | | σ | 0.122-0.117=0.005 | | min | 8.418-8.469=-0.051 | | max | 8.714-8.725=-0.011 |
|