iters=5 new-facts=1 prior-facts=1 | | mean | 286.819-286.826=-0.007 | | σ | 0.039-0.042=-0.003 | | min | 286.768-286.770=-0.003 | | max | 286.856-286.878=-0.023 |
| | mean | 1648.000-1644.000=4.000 | | σ | 0.000 | | min | 1648.000-1644.000=4.000 | | max | 1648.000-1644.000=4.000 |
| | mean | 0.395-0.404=-0.009 | | σ | 0.006-0.012=-0.007 | | min | 0.389-0.389=-0.000 | | max | 0.402-0.423=-0.021 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1297.264-1297.245=0.019 | | σ | 0.110-0.058=0.052 | | min | 1297.105-1297.178=-0.073 | | max | 1297.401-1297.320=0.081 |
| | mean | 1648.000-1644.000=4.000 | | σ | 0.000 | | min | 1648.000-1644.000=4.000 | | max | 1648.000-1644.000=4.000 |
| | mean | 2.230-2.081=0.149 | | σ | 0.057-0.074=-0.017 | | min | 2.157-2.012=0.145 | | max | 2.317-2.176=0.141 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1541.372-1541.310=0.061 | | σ | 6.800-6.833=-0.032 | | min | 1538.217-1538.077=0.141 | | max | 1553.535-1553.529=0.005 |
| | mean | 1648.000-1644.000=4.000 | | σ | 0.000 | | min | 1648.000-1644.000=4.000 | | max | 1648.000-1644.000=4.000 |
| | mean | 2.319-2.210=0.108 | | σ | 0.257-0.159=0.097 | | min | 2.094-2.056=0.038 | | max | 2.729-2.409=0.320 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1859.123-1859.116=0.007 | | σ | 0.065-0.081=-0.017 | | min | 1859.036-1859.007=0.029 | | max | 1859.189-1859.206=-0.017 |
| | mean | 1789.600-1791.600=-2.000 | | σ | 148.089-154.066=-5.977 | | min | 1648.000-1644.000=4.000 | | max | 1943.000-1951.000=-8.000 |
| | mean | 2.954-2.970=-0.016 | | σ | 0.079-0.068=0.012 | | min | 2.856-2.863=-0.007 | | max | 3.035-3.047=-0.012 |
|