iters=5 new-facts=1 prior-facts=1 | | mean | 326.629-326.575=0.054 | | σ | 0.060-0.043=0.017 | | min | 326.523-326.503=0.020 | | max | 326.661-326.616=0.045 |
| | mean | 2607.000-2630.000=-23.000 | | σ | 0.000 | | min | 2607.000-2630.000=-23.000 | | max | 2607.000-2630.000=-23.000 |
| | mean | 0.427-0.424=0.003 | | σ | 0.004-0.007=-0.003 | | min | 0.425-0.420=0.005 | | max | 0.434-0.436=-0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.796-1988.727=0.069 | | σ | 0.016-0.018=-0.002 | | min | 1988.778-1988.707=0.072 | | max | 1988.812-1988.749=0.062 |
| | mean | 2607.000-2630.000=-23.000 | | σ | 0.000 | | min | 2607.000-2630.000=-23.000 | | max | 2607.000-2630.000=-23.000 |
| | mean | 2.722-2.803=-0.081 | | σ | 0.103-0.283=-0.181 | | min | 2.617-2.632=-0.014 | | max | 2.885-3.305=-0.419 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.551-4813.458=0.093 | | σ | 7.768-7.778=-0.010 | | min | 4809.547-4809.613=-0.066 | | max | 4827.434-4827.367=0.067 |
| | mean | 2607.000-2630.000=-23.000 | | σ | 0.000 | | min | 2607.000-2630.000=-23.000 | | max | 2607.000-2630.000=-23.000 |
| | mean | 8.685-8.985=-0.300 | | σ | 0.583-0.192=0.391 | | min | 7.711-8.674=-0.963 | | max | 9.221-9.173=0.048 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.201-5001.146=0.055 | | σ | 0.027-0.034=-0.007 | | min | 5001.171-5001.112=0.059 | | max | 5001.230-5001.200=0.030 |
| | mean | 2949.600-2989.800=-40.200 | | σ | 257.357-275.427=-18.070 | | min | 2607.000-2630.000=-23.000 | | max | 3290.000-3317.000=-27.000 |
| | mean | 9.762-9.752=0.010 | | σ | 0.285-0.388=-0.103 | | min | 9.353-9.113=0.240 | | max | 10.046-10.125=-0.079 |
|