iters=5 new-facts=1 prior-facts=1 | | mean | 324.774-324.761=0.013 | | σ | 0.029-0.042=-0.013 | | min | 324.726-324.692=0.033 | | max | 324.800-324.790=0.010 |
| | mean | 2436.000-2828.000=-392.000 | | σ | 0.000 | | min | 2436.000-2828.000=-392.000 | | max | 2436.000-2828.000=-392.000 |
| | mean | 0.424-0.423=0.001 | | σ | 0.010-0.010=-0.000 | | min | 0.416-0.415=0.001 | | max | 0.436-0.438=-0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.313-1985.326=-0.014 | | σ | 0.020-0.007=0.013 | | min | 1985.281-1985.319=-0.038 | | max | 1985.330-1985.334=-0.004 |
| | mean | 2436.000-2828.000=-392.000 | | σ | 0.000 | | min | 2436.000-2828.000=-392.000 | | max | 2436.000-2828.000=-392.000 |
| | mean | 2.635-2.593=0.043 | | σ | 0.116-0.078=0.038 | | min | 2.520-2.501=0.020 | | max | 2.771-2.701=0.070 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4809.104-4808.986=0.118 | | σ | 7.695-7.777=-0.081 | | min | 4805.552-4805.075=0.477 | | max | 4822.869-4822.889=-0.021 |
| | mean | 2436.000-2828.000=-392.000 | | σ | 0.000 | | min | 2436.000-2828.000=-392.000 | | max | 2436.000-2828.000=-392.000 |
| | mean | 9.095-8.992=0.103 | | σ | 0.301-0.326=-0.025 | | min | 8.774-8.568=0.207 | | max | 9.590-9.418=0.172 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.617-4996.631=-0.014 | | σ | 0.031-0.017=0.014 | | min | 4996.573-4996.612=-0.039 | | max | 4996.651-4996.646=0.005 |
| | mean | 2961.400-3036.200=-74.800 | | σ | 430.290-216.703=213.587 | | min | 2469.000-2828.000=-359.000 | | max | 3540.000-3345.000=195.000 |
| | mean | 8.516-8.611=-0.095 | | σ | 0.133-0.097=0.036 | | min | 8.373-8.507=-0.134 | | max | 8.735-8.739=-0.005 |
|