iters=5 new-facts=1 prior-facts=1 | | mean | 271.620-271.603=0.017 | | σ | 0.007-0.013=-0.006 | | min | 271.608-271.587=0.022 | | max | 271.625-271.616=0.009 |
| | mean | 2792.000-2820.000=-28.000 | | σ | 0.000 | | min | 2792.000-2820.000=-28.000 | | max | 2792.000-2820.000=-28.000 |
| | mean | 0.381-0.383=-0.003 | | σ | 0.006-0.008=-0.001 | | min | 0.377-0.377=-0.000 | | max | 0.392-0.397=-0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.044-1932.050=-0.006 | | σ | 0.014-0.017=-0.003 | | min | 1932.027-1932.032=-0.005 | | max | 1932.066-1932.072=-0.006 |
| | mean | 2792.000-2820.000=-28.000 | | σ | 0.000 | | min | 2792.000-2820.000=-28.000 | | max | 2792.000-2820.000=-28.000 |
| | mean | 2.999-2.921=0.078 | | σ | 0.067-0.157=-0.090 | | min | 2.901-2.659=0.242 | | max | 3.086-3.054=0.033 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.852-4752.757=0.094 | | σ | 0.787-0.907=-0.120 | | min | 4752.451-4752.280=0.171 | | max | 4754.259-4754.376=-0.117 |
| | mean | 2792.000-2820.000=-28.000 | | σ | 0.000 | | min | 2792.000-2820.000=-28.000 | | max | 2792.000-2820.000=-28.000 |
| | mean | 7.875-8.711=-0.836 | | σ | 0.299-0.276=0.023 | | min | 7.687-8.427=-0.740 | | max | 8.396-9.101=-0.704 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.163-4943.163=-0.000 | | σ | 0.168-0.169=-0.001 | | min | 4942.864-4942.863=0.001 | | max | 4943.261-4943.256=0.005 |
| | mean | 3025.000-3002.800=22.200 | | σ | 279.305-251.530=27.776 | | min | 2792.000-2820.000=-28.000 | | max | 3435.000-3396.000=39.000 |
| | mean | 8.401-8.369=0.032 | | σ | 0.188-0.086=0.101 | | min | 8.225-8.221=0.003 | | max | 8.684-8.437=0.248 |
|