iters=5 new-facts=1 prior-facts=1 | | mean | 271.649-275.759=-4.110 | | σ | 0.010-0.009=0.001 | | min | 271.640-275.751=-4.111 | | max | 271.661-275.768=-4.107 |
| | mean | 2435.000-2642.000=-207.000 | | σ | 0.000 | | min | 2435.000-2642.000=-207.000 | | max | 2435.000-2642.000=-207.000 |
| | mean | 0.382-0.406=-0.024 | | σ | 0.004-0.012=-0.008 | | min | 0.378-0.395=-0.016 | | max | 0.388-0.420=-0.033 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.104-2168.288=-236.184 | | σ | 0.018-0.007=0.011 | | min | 1932.075-2168.277=-236.203 | | max | 1932.119-2168.296=-236.177 |
| | mean | 2435.000-2642.000=-207.000 | | σ | 0.000 | | min | 2435.000-2642.000=-207.000 | | max | 2435.000-2642.000=-207.000 |
| | mean | 2.528-2.954=-0.426 | | σ | 0.163-0.155=0.008 | | min | 2.321-2.750=-0.429 | | max | 2.764-3.107=-0.343 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.505-5047.874=-295.370 | | σ | 0.572-1.168=-0.596 | | min | 4752.151-5046.579=-294.428 | | max | 4753.521-5049.781=-296.260 |
| | mean | 2435.000-2642.000=-207.000 | | σ | 0.000 | | min | 2435.000-2642.000=-207.000 | | max | 2435.000-2642.000=-207.000 |
| | mean | 8.268-8.697=-0.429 | | σ | 0.657-0.459=0.198 | | min | 7.710-8.068=-0.358 | | max | 9.181-9.184=-0.003 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4942.906-5179.237=-236.331 | | σ | 0.200-0.069=0.131 | | min | 4942.634-5179.170=-236.536 | | max | 4943.146-5179.314=-236.168 |
| | mean | 2904.600-3228.400=-323.800 | | σ | 401.305-389.712=11.593 | | min | 2435.000-2686.000=-251.000 | | max | 3444.000-3719.000=-275.000 |
| | mean | 8.396-9.696=-1.300 | | σ | 0.062-0.553=-0.491 | | min | 8.321-8.915=-0.594 | | max | 8.470-10.249=-1.779 |
|