iters=5 new-facts=1 prior-facts=1 | | mean | 275.758-275.755=0.003 | | σ | 0.008-0.012=-0.004 | | min | 275.751-275.743=0.007 | | max | 275.766-275.768=-0.002 |
| | mean | 2494.000-2617.000=-123.000 | | σ | 0.000 | | min | 2494.000-2617.000=-123.000 | | max | 2494.000-2617.000=-123.000 |
| | mean | 0.400-0.392=0.008 | | σ | 0.007-0.010=-0.003 | | min | 0.395-0.386=0.010 | | max | 0.412-0.408=0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.282-2168.280=0.002 | | σ | 0.011-0.011=0.001 | | min | 2168.263-2168.265=-0.002 | | max | 2168.291-2168.292=-0.001 |
| | mean | 2494.000-2617.000=-123.000 | | σ | 0.000 | | min | 2494.000-2617.000=-123.000 | | max | 2494.000-2617.000=-123.000 |
| | mean | 2.991-2.954=0.037 | | σ | 0.160-0.156=0.004 | | min | 2.793-2.771=0.022 | | max | 3.121-3.109=0.012 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.878-5048.104=-0.226 | | σ | 0.740-0.896=-0.156 | | min | 5047.225-5047.625=-0.400 | | max | 5049.148-5049.704=-0.556 |
| | mean | 2494.000-2617.000=-123.000 | | σ | 0.000 | | min | 2494.000-2617.000=-123.000 | | max | 2494.000-2617.000=-123.000 |
| | mean | 8.846-8.630=0.216 | | σ | 0.452-0.377=0.075 | | min | 8.286-8.037=0.248 | | max | 9.392-9.058=0.334 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5178.877-5179.161=-0.284 | | σ | 0.387-0.204=0.182 | | min | 5178.446-5178.814=-0.367 | | max | 5179.342-5179.320=0.022 |
| | mean | 3221.800-3268.400=-46.600 | | σ | 383.720-375.009=8.710 | | min | 2704.000-2737.000=-33.000 | | max | 3723.000-3717.000=6.000 |
| | mean | 9.763-9.805=-0.042 | | σ | 0.317-0.541=-0.224 | | min | 9.414-8.871=0.543 | | max | 10.105-10.283=-0.178 |
|