iters=5 new-facts=1 prior-facts=1 | | mean | 272.019-272.019=-0.000 | | σ | 0.007-0.007=0.000 | | min | 272.012-272.009=0.004 | | max | 272.030-272.027=0.003 |
| | mean | 2858.000-2876.000=-18.000 | | σ | 0.000 | | min | 2858.000-2876.000=-18.000 | | max | 2858.000-2876.000=-18.000 |
| | mean | 0.390-0.397=-0.008 | | σ | 0.010-0.016=-0.006 | | min | 0.379-0.382=-0.003 | | max | 0.402-0.419=-0.017 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.440-1932.434=0.006 | | σ | 0.013-0.011=0.002 | | min | 1932.428-1932.421=0.007 | | max | 1932.461-1932.443=0.018 |
| | mean | 2858.000-2876.000=-18.000 | | σ | 0.000 | | min | 2858.000-2876.000=-18.000 | | max | 2858.000-2876.000=-18.000 |
| | mean | 3.051-2.941=0.109 | | σ | 0.127-0.136=-0.009 | | min | 2.956-2.747=0.209 | | max | 3.260-3.120=0.140 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.207-4753.174=0.032 | | σ | 0.875-0.900=-0.024 | | min | 4752.709-4752.713=-0.004 | | max | 4754.765-4754.777=-0.013 |
| | mean | 2858.000-2876.000=-18.000 | | σ | 0.000 | | min | 2858.000-2876.000=-18.000 | | max | 2858.000-2876.000=-18.000 |
| | mean | 8.306-8.468=-0.162 | | σ | 0.479-0.554=-0.075 | | min | 7.778-7.579=0.198 | | max | 8.946-8.914=0.032 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.616-4943.625=-0.008 | | σ | 0.015-0.028=-0.012 | | min | 4943.595-4943.591=0.003 | | max | 4943.630-4943.659=-0.029 |
| | mean | 3082.000-3033.200=48.800 | | σ | 300.677-180.951=119.726 | | min | 2858.000-2876.000=-18.000 | | max | 3550.000-3318.000=232.000 |
| | mean | 8.421-8.529=-0.108 | | σ | 0.143-0.080=0.063 | | min | 8.350-8.391=-0.041 | | max | 8.676-8.586=0.090 |
|