iters=5 new-facts=1 prior-facts=1 | | mean | 300.747-310.161=-9.414 | | σ | 0.027-0.040=-0.013 | | min | 300.701-310.090=-9.390 | | max | 300.770-310.186=-9.416 |
| | mean | 3908.000-3813.000=95.000 | | σ | 0.000 | | min | 3908.000-3813.000=95.000 | | max | 3908.000-3813.000=95.000 |
| | mean | 0.438-0.445=-0.007 | | σ | 0.011-0.011=0.000 | | min | 0.427-0.433=-0.006 | | max | 0.452-0.455=-0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 3219.725-3229.062=-9.336 | | σ | 0.026-0.055=-0.029 | | min | 3219.686-3229.017=-9.331 | | max | 3219.748-3229.155=-9.407 |
| | mean | 3908.000-3813.000=95.000 | | σ | 0.000 | | min | 3908.000-3813.000=95.000 | | max | 3908.000-3813.000=95.000 |
| | mean | 3.989-3.670=0.318 | | σ | 0.325-0.132=0.193 | | min | 3.529-3.545=-0.016 | | max | 4.301-3.871=0.430 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 6099.757-6109.137=-9.380 | | σ | 0.938-1.024=-0.086 | | min | 6099.266-6108.448=-9.182 | | max | 6101.431-6110.946=-9.515 |
| | mean | 3908.000-3813.000=95.000 | | σ | 0.000 | | min | 3908.000-3813.000=95.000 | | max | 3908.000-3813.000=95.000 |
| | mean | 10.148-9.776=0.371 | | σ | 0.318-0.549=-0.230 | | min | 9.739-8.954=0.785 | | max | 10.478-10.356=0.122 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 6248.728-6258.183=-9.455 | | σ | 0.089-0.137=-0.048 | | min | 6248.572-6257.988=-9.416 | | max | 6248.788-6258.365=-9.577 |
| | mean | 3927.000-3813.000=114.000 | | σ | 42.485-0.000=42.485 | | min | 3908.000-3813.000=95.000 | | max | 4003.000-3813.000=190.000 |
| | mean | 9.717-9.719=-0.002 | | σ | 0.173-0.451=-0.278 | | min | 9.453-9.316=0.137 | | max | 9.887-10.363=-0.475 |
|