iters=5 new-facts=1 prior-facts=1 | | mean | 271.733-271.754=-0.020 | | σ | 0.006-0.007=-0.001 | | min | 271.724-271.747=-0.023 | | max | 271.741-271.763=-0.022 |
| | mean | 2882.000-2784.000=98.000 | | σ | 0.000 | | min | 2882.000-2784.000=98.000 | | max | 2882.000-2784.000=98.000 |
| | mean | 0.385-0.382=0.003 | | σ | 0.011-0.006=0.006 | | min | 0.372-0.378=-0.006 | | max | 0.398-0.392=0.006 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.174-1932.178=-0.003 | | σ | 0.002-0.006=-0.004 | | min | 1932.172-1932.170=0.002 | | max | 1932.177-1932.184=-0.006 |
| | mean | 2882.000-2784.000=98.000 | | σ | 0.000 | | min | 2882.000-2784.000=98.000 | | max | 2882.000-2784.000=98.000 |
| | mean | 3.014-3.090=-0.076 | | σ | 0.043-0.091=-0.048 | | min | 2.969-2.946=0.023 | | max | 3.080-3.191=-0.111 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.964-4752.950=0.014 | | σ | 0.830-0.890=-0.060 | | min | 4752.506-4752.393=0.114 | | max | 4754.441-4754.532=-0.091 |
| | mean | 2882.000-2784.000=98.000 | | σ | 0.000 | | min | 2882.000-2784.000=98.000 | | max | 2882.000-2784.000=98.000 |
| | mean | 8.059-8.266=-0.207 | | σ | 0.455-0.539=-0.085 | | min | 7.686-7.647=0.040 | | max | 8.612-9.050=-0.439 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.370-4943.308=0.062 | | σ | 0.027-0.150=-0.123 | | min | 4943.339-4943.043=0.296 | | max | 4943.405-4943.405=0.000 |
| | mean | 3090.800-3026.400=64.400 | | σ | 289.974-299.538=-9.564 | | min | 2882.000-2784.000=98.000 | | max | 3542.000-3475.000=67.000 |
| | mean | 8.463-8.521=-0.058 | | σ | 0.098-0.156=-0.058 | | min | 8.377-8.378=-0.001 | | max | 8.630-8.703=-0.073 |
|