iters=5 new-facts=1 prior-facts=1 | | mean | 324.761-324.764=-0.003 | | σ | 0.055-0.041=0.014 | | min | 324.663-324.691=-0.028 | | max | 324.793-324.789=0.004 |
| | mean | 2837.000-2687.000=150.000 | | σ | 0.000 | | min | 2837.000-2687.000=150.000 | | max | 2837.000-2687.000=150.000 |
| | mean | 0.424-0.421=0.003 | | σ | 0.002-0.010=-0.008 | | min | 0.422-0.415=0.007 | | max | 0.427-0.439=-0.012 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.325-1985.323=0.002 | | σ | 0.021-0.015=0.005 | | min | 1985.291-1985.303=-0.012 | | max | 1985.342-1985.339=0.002 |
| | mean | 2837.000-2687.000=150.000 | | σ | 0.000 | | min | 2837.000-2687.000=150.000 | | max | 2837.000-2687.000=150.000 |
| | mean | 2.579-2.573=0.006 | | σ | 0.074-0.117=-0.043 | | min | 2.511-2.421=0.090 | | max | 2.676-2.747=-0.071 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4809.086-4808.976=0.110 | | σ | 7.674-7.431=0.243 | | min | 4805.598-4805.582=0.016 | | max | 4822.814-4822.269=0.545 |
| | mean | 2837.000-2687.000=150.000 | | σ | 0.000 | | min | 2837.000-2687.000=150.000 | | max | 2837.000-2687.000=150.000 |
| | mean | 8.835-8.895=-0.060 | | σ | 0.164-0.190=-0.026 | | min | 8.635-8.714=-0.080 | | max | 8.984-9.110=-0.125 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.558-4996.626=-0.068 | | σ | 0.167-0.028=0.139 | | min | 4996.261-4996.594=-0.333 | | max | 4996.656-4996.661=-0.004 |
| | mean | 3100.200-3006.000=94.200 | | σ | 256.506-364.598=-108.092 | | min | 2837.000-2687.000=150.000 | | max | 3349.000-3536.000=-187.000 |
| | mean | 8.933-8.444=0.489 | | σ | 0.378-0.082=0.296 | | min | 8.481-8.393=0.088 | | max | 9.511-8.590=0.921 |
|