iters=5 new-facts=1 prior-facts=1 | | mean | 280.213-326.634=-46.421 | | σ | 0.012-0.051=-0.039 | | min | 280.195-326.545=-46.350 | | max | 280.227-326.669=-46.442 |
| | mean | 1662.000-2639.000=-977.000 | | σ | 0.000 | | min | 1662.000-2639.000=-977.000 | | max | 1662.000-2639.000=-977.000 |
| | mean | 0.371-0.424=-0.053 | | σ | 0.004-0.004=0.000 | | min | 0.368-0.420=-0.052 | | max | 0.378-0.429=-0.052 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1280.279-1988.809=-708.530 | | σ | 0.129-0.007=0.123 | | min | 1280.215-1988.803=-708.588 | | max | 1280.510-1988.819=-708.309 |
| | mean | 1662.000-2639.000=-977.000 | | σ | 0.000 | | min | 1662.000-2639.000=-977.000 | | max | 1662.000-2639.000=-977.000 |
| | mean | 1.955-2.685=-0.729 | | σ | 0.137-0.052=0.085 | | min | 1.856-2.643=-0.787 | | max | 2.167-2.768=-0.601 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1802.524-4813.585=-3011.061 | | σ | 6.955-7.766=-0.812 | | min | 1799.171-4809.665=-3010.494 | | max | 1814.947-4827.469=-3012.522 |
| | mean | 1662.000-2639.000=-977.000 | | σ | 0.000 | | min | 1662.000-2639.000=-977.000 | | max | 1662.000-2639.000=-977.000 |
| | mean | 4.193-8.221=-4.028 | | σ | 0.181-0.562=-0.381 | | min | 3.995-7.690=-3.695 | | max | 4.479-9.136=-4.657 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2065.011-5001.060=-2936.049 | | σ | 0.011-0.197=-0.186 | | min | 2064.999-5000.830=-2935.832 | | max | 2065.028-5001.216=-2936.188 |
| | mean | 1852.200-2953.800=-1101.600 | | σ | 181.355-350.814=-169.459 | | min | 1662.000-2639.000=-977.000 | | max | 2089.000-3458.000=-1369.000 |
| | mean | 4.645-9.532=-4.887 | | σ | 0.174-0.588=-0.414 | | min | 4.494-8.494=-4.000 | | max | 4.915-9.938=-5.023 |
|