iters=5 new-facts=1 prior-facts=1 | | mean | 271.957-271.955=0.002 | | σ | 0.004-0.005=-0.001 | | min | 271.954-271.950=0.004 | | max | 271.965-271.964=0.001 |
| | mean | 2709.000-2778.000=-69.000 | | σ | 0.000 | | min | 2709.000-2778.000=-69.000 | | max | 2709.000-2778.000=-69.000 |
| | mean | 0.385-0.381=0.004 | | σ | 0.009-0.008=0.001 | | min | 0.380-0.377=0.003 | | max | 0.402-0.396=0.006 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1792.062-1932.322=-140.260 | | σ | 313.645-0.019=313.626 | | min | 1230.997-1932.301=-701.304 | | max | 1932.366-1932.344=0.022 |
| | mean | 2709.000-2778.000=-69.000 | | σ | 0.000 | | min | 2709.000-2778.000=-69.000 | | max | 2709.000-2778.000=-69.000 |
| | mean | 2.788-2.992=-0.203 | | σ | 0.593-0.057=0.535 | | min | 1.735-2.898=-1.163 | | max | 3.153-3.055=0.099 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.081-4753.080=0.000 | | σ | 0.912-0.899=0.013 | | min | 4752.544-4752.607=-0.063 | | max | 4754.692-4754.678=0.014 |
| | mean | 2709.000-2778.000=-69.000 | | σ | 0.000 | | min | 2709.000-2778.000=-69.000 | | max | 2709.000-2778.000=-69.000 |
| | mean | 8.681-8.575=0.107 | | σ | 0.465-0.446=0.019 | | min | 8.044-7.987=0.057 | | max | 9.196-8.945=0.251 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.481-4943.563=-0.082 | | σ | 0.166-0.012=0.154 | | min | 4943.185-4943.544=-0.360 | | max | 4943.573-4943.572=0.001 |
| | mean | 2937.800-2991.800=-54.000 | | σ | 292.709-212.757=79.952 | | min | 2709.000-2778.000=-69.000 | | max | 3382.000-3304.000=78.000 |
| | mean | 8.427-8.591=-0.164 | | σ | 0.071-0.209=-0.137 | | min | 8.345-8.394=-0.049 | | max | 8.512-8.922=-0.410 |
|