iters=5 new-facts=1 prior-facts=1 | | mean | 326.415-326.449=-0.034 | | σ | 0.048-0.053=-0.005 | | min | 326.329-326.356=-0.027 | | max | 326.445-326.484=-0.038 |
| | mean | 2706.000-2826.000=-120.000 | | σ | 0.000 | | min | 2706.000-2826.000=-120.000 | | max | 2706.000-2826.000=-120.000 |
| | mean | 0.425-0.438=-0.014 | | σ | 0.004-0.012=-0.008 | | min | 0.422-0.424=-0.002 | | max | 0.432-0.455=-0.024 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.622-1988.592=0.030 | | σ | 0.005-0.012=-0.007 | | min | 1988.616-1988.575=0.040 | | max | 1988.629-1988.602=0.026 |
| | mean | 2706.000-2826.000=-120.000 | | σ | 0.000 | | min | 2706.000-2826.000=-120.000 | | max | 2706.000-2826.000=-120.000 |
| | mean | 2.701-2.787=-0.086 | | σ | 0.120-0.259=-0.140 | | min | 2.601-2.542=0.060 | | max | 2.896-3.154=-0.258 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.473-4813.457=0.016 | | σ | 7.745-7.735=0.011 | | min | 4809.941-4809.942=-0.001 | | max | 4827.328-4827.293=0.035 |
| | mean | 2706.000-2826.000=-120.000 | | σ | 0.000 | | min | 2706.000-2826.000=-120.000 | | max | 2706.000-2826.000=-120.000 |
| | mean | 8.901-8.627=0.274 | | σ | 0.424-0.636=-0.212 | | min | 8.388-7.760=0.628 | | max | 9.405-9.239=0.166 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5000.935-5001.003=-0.068 | | σ | 0.148-0.031=0.117 | | min | 5000.672-5000.958=-0.285 | | max | 5001.031-5001.039=-0.008 |
| | mean | 3023.600-3061.400=-37.800 | | σ | 228.864-306.998=-78.134 | | min | 2706.000-2826.000=-120.000 | | max | 3314.000-3532.000=-218.000 |
| | mean | 9.448-9.331=0.117 | | σ | 0.573-0.626=-0.053 | | min | 8.481-8.425=0.056 | | max | 9.995-10.039=-0.044 |
|