iters=5 new-facts=1 prior-facts=1 | | mean | 271.760-271.754=0.006 | | σ | 0.006-0.006=0.001 | | min | 271.752-271.746=0.005 | | max | 271.769-271.760=0.010 |
| | mean | 2884.000-2813.000=71.000 | | σ | 0.000 | | min | 2884.000-2813.000=71.000 | | max | 2884.000-2813.000=71.000 |
| | mean | 0.389-0.382=0.007 | | σ | 0.011-0.005=0.005 | | min | 0.376-0.378=-0.002 | | max | 0.400-0.392=0.008 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.182-1932.175=0.007 | | σ | 0.021-0.005=0.016 | | min | 1932.163-1932.171=-0.008 | | max | 1932.217-1932.183=0.034 |
| | mean | 2884.000-2813.000=71.000 | | σ | 0.000 | | min | 2884.000-2813.000=71.000 | | max | 2884.000-2813.000=71.000 |
| | mean | 2.812-3.024=-0.212 | | σ | 0.234-0.071=0.163 | | min | 2.524-2.972=-0.448 | | max | 3.001-3.149=-0.148 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.913-4752.769=0.144 | | σ | 0.864-1.030=-0.167 | | min | 4752.399-4751.874=0.525 | | max | 4754.452-4754.549=-0.097 |
| | mean | 2884.000-2813.000=71.000 | | σ | 0.000 | | min | 2884.000-2813.000=71.000 | | max | 2884.000-2813.000=71.000 |
| | mean | 8.612-8.726=-0.113 | | σ | 0.287-0.382=-0.096 | | min | 8.340-8.282=0.058 | | max | 9.064-9.051=0.014 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.308-4943.379=-0.071 | | σ | 0.156-0.019=0.137 | | min | 4943.030-4943.358=-0.328 | | max | 4943.396-4943.401=-0.005 |
| | mean | 3057.400-3005.800=51.600 | | σ | 177.737-208.541=-30.804 | | min | 2884.000-2813.000=71.000 | | max | 3305.000-3317.000=-12.000 |
| | mean | 8.646-8.537=0.109 | | σ | 0.253-0.065=0.187 | | min | 8.403-8.473=-0.070 | | max | 9.050-8.637=0.413 |
|