iters=5 new-facts=1 prior-facts=1 | | mean | 324.712-324.713=-0.001 | | σ | 0.034-0.030=0.003 | | min | 324.653-324.659=-0.006 | | max | 324.738-324.733=0.005 |
| | mean | 2811.000-2816.000=-5.000 | | σ | 0.000 | | min | 2811.000-2816.000=-5.000 | | max | 2811.000-2816.000=-5.000 |
| | mean | 0.422-0.421=0.001 | | σ | 0.001-0.000=0.001 | | min | 0.421-0.421=-0.000 | | max | 0.424-0.422=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.270-1985.264=0.006 | | σ | 0.006-0.011=-0.005 | | min | 1985.263-1985.245=0.018 | | max | 1985.277-1985.274=0.004 |
| | mean | 2811.000-2816.000=-5.000 | | σ | 0.000 | | min | 2811.000-2816.000=-5.000 | | max | 2811.000-2816.000=-5.000 |
| | mean | 2.598-2.563=0.035 | | σ | 0.049-0.041=0.008 | | min | 2.552-2.522=0.030 | | max | 2.669-2.628=0.041 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.856-4808.879=-0.023 | | σ | 7.671-7.657=0.014 | | min | 4805.371-4805.330=0.042 | | max | 4822.578-4822.575=0.003 |
| | mean | 2811.000-2816.000=-5.000 | | σ | 0.000 | | min | 2811.000-2816.000=-5.000 | | max | 2811.000-2816.000=-5.000 |
| | mean | 8.887-8.887=-0.000 | | σ | 0.200-0.499=-0.299 | | min | 8.618-8.480=0.138 | | max | 9.123-9.740=-0.617 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.465-4996.464=0.001 | | σ | 0.019-0.012=0.007 | | min | 4996.438-4996.449=-0.012 | | max | 4996.488-4996.475=0.014 |
| | mean | 3045.400-3053.000=-7.600 | | σ | 204.831-227.553=-22.722 | | min | 2811.000-2816.000=-5.000 | | max | 3338.000-3390.000=-52.000 |
| | mean | 8.699-8.696=0.004 | | σ | 0.200-0.143=0.056 | | min | 8.498-8.469=0.029 | | max | 9.009-8.829=0.180 |
|