iters=5 new-facts=1 prior-facts=1 | | mean | 310.161-276.532=33.630 | | σ | 0.040-0.011=0.029 | | min | 310.090-276.521=33.569 | | max | 310.186-276.546=33.639 |
| | mean | 3813.000-4058.000=-245.000 | | σ | 0.000 | | min | 3813.000-4058.000=-245.000 | | max | 3813.000-4058.000=-245.000 |
| | mean | 0.445-0.405=0.040 | | σ | 0.011-0.005=0.006 | | min | 0.433-0.397=0.036 | | max | 0.455-0.410=0.045 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 3229.062-2169.134=1059.928 | | σ | 0.055-0.011=0.044 | | min | 3229.017-2169.127=1059.890 | | max | 3229.155-2169.152=1060.002 |
| | mean | 3813.000-4058.000=-245.000 | | σ | 0.000 | | min | 3813.000-4058.000=-245.000 | | max | 3813.000-4058.000=-245.000 |
| | mean | 3.670-2.921=0.750 | | σ | 0.132-0.220=-0.088 | | min | 3.545-2.760=0.785 | | max | 3.871-3.293=0.578 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 6109.137-5048.965=1060.172 | | σ | 1.024-0.581=0.443 | | min | 6108.448-5048.654=1059.794 | | max | 6110.946-5049.997=1060.949 |
| | mean | 3813.000-4058.000=-245.000 | | σ | 0.000 | | min | 3813.000-4058.000=-245.000 | | max | 3813.000-4058.000=-245.000 |
| | mean | 9.776-8.413=1.363 | | σ | 0.549-0.281=0.268 | | min | 8.954-8.107=0.846 | | max | 10.356-8.775=1.580 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 6258.183-5180.064=1078.119 | | σ | 0.137-0.106=0.031 | | min | 6257.988-5179.940=1078.048 | | max | 6258.365-5180.183=1078.182 |
| | mean | 3813.000-4058.000=-245.000 | | σ | 0.000 | | min | 3813.000-4058.000=-245.000 | | max | 3813.000-4058.000=-245.000 |
| | mean | 9.719-9.116=0.604 | | σ | 0.451-0.482=-0.031 | | min | 9.316-8.683=0.633 | | max | 10.363-9.889=0.474 |
|