iters=5 new-facts=1 prior-facts=1 | | mean | 324.712-324.707=0.005 | | σ | 0.041-0.064=-0.023 | | min | 324.640-324.593=0.047 | | max | 324.738-324.745=-0.007 |
| | mean | 2796.000-2840.000=-44.000 | | σ | 0.000 | | min | 2796.000-2840.000=-44.000 | | max | 2796.000-2840.000=-44.000 |
| | mean | 0.427-0.435=-0.008 | | σ | 0.001-0.012=-0.011 | | min | 0.426-0.424=0.002 | | max | 0.428-0.450=-0.022 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.267-1985.264=0.004 | | σ | 0.009-0.017=-0.008 | | min | 1985.253-1985.240=0.013 | | max | 1985.277-1985.280=-0.004 |
| | mean | 2796.000-2840.000=-44.000 | | σ | 0.000 | | min | 2796.000-2840.000=-44.000 | | max | 2796.000-2840.000=-44.000 |
| | mean | 2.597-2.657=-0.059 | | σ | 0.059-0.169=-0.110 | | min | 2.563-2.509=0.054 | | max | 2.700-2.886=-0.186 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.860-4808.859=0.001 | | σ | 7.689-7.703=-0.014 | | min | 4805.396-4805.402=-0.006 | | max | 4822.614-4822.639=-0.025 |
| | mean | 2796.000-2840.000=-44.000 | | σ | 0.000 | | min | 2796.000-2840.000=-44.000 | | max | 2796.000-2840.000=-44.000 |
| | mean | 8.927-8.910=0.017 | | σ | 0.105-0.094=0.011 | | min | 8.815-8.813=0.001 | | max | 9.050-9.021=0.028 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.450-4996.393=0.057 | | σ | 0.044-0.155=-0.111 | | min | 4996.376-4996.120=0.256 | | max | 4996.484-4996.488=-0.004 |
| | mean | 3039.200-3046.200=-7.000 | | σ | 211.233-221.721=-10.488 | | min | 2796.000-2840.000=-44.000 | | max | 3340.000-3375.000=-35.000 |
| | mean | 8.674-8.694=-0.019 | | σ | 0.177-0.208=-0.031 | | min | 8.533-8.486=0.048 | | max | 8.951-8.987=-0.036 |
|