iters=5 new-facts=1 prior-facts=1 | | mean | 278.673-278.695=-0.022 | | σ | 0.013-0.014=-0.001 | | min | 278.657-278.677=-0.020 | | max | 278.686-278.709=-0.023 |
| | mean | 2838.000-2611.000=227.000 | | σ | 0.000 | | min | 2838.000-2611.000=227.000 | | max | 2838.000-2611.000=227.000 |
| | mean | 0.418-0.420=-0.002 | | σ | 0.001-0.001=-0.000 | | min | 0.417-0.418=-0.002 | | max | 0.420-0.421=-0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.836-2268.840=-0.005 | | σ | 0.019-0.017=0.001 | | min | 2268.810-2268.822=-0.012 | | max | 2268.851-2268.864=-0.013 |
| | mean | 2838.000-2611.000=227.000 | | σ | 0.000 | | min | 2838.000-2611.000=227.000 | | max | 2838.000-2611.000=227.000 |
| | mean | 3.218-3.303=-0.084 | | σ | 0.198-0.136=0.062 | | min | 2.985-3.144=-0.159 | | max | 3.460-3.491=-0.031 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.257-4955.921=-3.665 | | σ | 0.721-1.046=-0.324 | | min | 4951.836-4955.025=-3.188 | | max | 4953.539-4957.720=-4.181 |
| | mean | 2838.000-2611.000=227.000 | | σ | 0.000 | | min | 2838.000-2611.000=227.000 | | max | 2838.000-2611.000=227.000 |
| | mean | 7.816-8.126=-0.310 | | σ | 0.243-0.322=-0.079 | | min | 7.621-7.745=-0.123 | | max | 8.145-8.620=-0.475 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5166.742-5170.773=-4.031 | | σ | 0.142-0.084=0.059 | | min | 5166.562-5170.678=-4.116 | | max | 5166.888-5170.850=-3.961 |
| | mean | 3314.200-3454.200=-140.000 | | σ | 425.016-474.506=-49.490 | | min | 2838.000-2839.000=-1.000 | | max | 3735.000-4118.000=-383.000 |
| | mean | 9.124-9.320=-0.196 | | σ | 0.382-0.153=0.229 | | min | 8.553-9.107=-0.554 | | max | 9.564-9.459=0.105 |
|