iters=5 new-facts=1 prior-facts=1 | | mean | 275.758-275.756=0.002 | | σ | 0.009-0.010=-0.001 | | min | 275.748-275.742=0.006 | | max | 275.771-275.767=0.004 |
| | mean | 2694.000-2647.000=47.000 | | σ | 0.000 | | min | 2694.000-2647.000=47.000 | | max | 2694.000-2647.000=47.000 |
| | mean | 0.404-0.401=0.003 | | σ | 0.010-0.008=0.001 | | min | 0.395-0.394=0.001 | | max | 0.417-0.413=0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.273-2168.266=0.007 | | σ | 0.023-0.023=0.000 | | min | 2168.246-2168.228=0.017 | | max | 2168.298-2168.287=0.011 |
| | mean | 2694.000-2647.000=47.000 | | σ | 0.000 | | min | 2694.000-2647.000=47.000 | | max | 2694.000-2647.000=47.000 |
| | mean | 2.975-2.809=0.166 | | σ | 0.187-0.124=0.064 | | min | 2.686-2.746=-0.060 | | max | 3.161-3.029=0.132 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.879-5048.104=-0.225 | | σ | 0.812-0.899=-0.087 | | min | 5046.988-5047.628=-0.640 | | max | 5049.210-5049.710=-0.500 |
| | mean | 2694.000-2647.000=47.000 | | σ | 0.000 | | min | 2694.000-2647.000=47.000 | | max | 2694.000-2647.000=47.000 |
| | mean | 8.950-8.741=0.209 | | σ | 0.517-0.209=0.308 | | min | 8.196-8.418=-0.223 | | max | 9.425-8.943=0.482 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.096-5179.156=-0.060 | | σ | 0.201-0.201=-0.001 | | min | 5178.815-5178.822=-0.007 | | max | 5179.326-5179.315=0.011 |
| | mean | 3275.200-3247.400=27.800 | | σ | 381.687-471.757=-90.070 | | min | 2736.000-2647.000=89.000 | | max | 3734.000-3873.000=-139.000 |
| | mean | 9.930-9.863=0.067 | | σ | 0.172-0.197=-0.024 | | min | 9.671-9.675=-0.004 | | max | 10.072-10.145=-0.072 |
|