iters=5 new-facts=1 prior-facts=1 | | mean | 266.760-273.397=-6.636 | | σ | 0.008-0.018=-0.010 | | min | 266.751-273.367=-6.616 | | max | 266.771-273.412=-6.641 |
| | mean | 2475.000-2505.000=-30.000 | | σ | 0.000 | | min | 2475.000-2505.000=-30.000 | | max | 2475.000-2505.000=-30.000 |
| | mean | 0.370-0.384=-0.015 | | σ | 0.011-0.009=0.002 | | min | 0.363-0.377=-0.013 | | max | 0.389-0.394=-0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1927.208-1933.834=-6.626 | | σ | 0.007-0.004=0.003 | | min | 1927.199-1933.831=-6.632 | | max | 1927.217-1933.841=-6.624 |
| | mean | 2475.000-2505.000=-30.000 | | σ | 0.000 | | min | 2475.000-2505.000=-30.000 | | max | 2475.000-2505.000=-30.000 |
| | mean | 2.995-3.030=-0.034 | | σ | 0.089-0.109=-0.020 | | min | 2.877-2.876=0.001 | | max | 3.128-3.165=-0.037 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4747.627-4754.292=-6.665 | | σ | 0.850-0.879=-0.029 | | min | 4746.849-4753.614=-6.765 | | max | 4749.073-4755.835=-6.762 |
| | mean | 2475.000-2505.000=-30.000 | | σ | 0.000 | | min | 2475.000-2505.000=-30.000 | | max | 2475.000-2505.000=-30.000 |
| | mean | 8.193-8.069=0.125 | | σ | 0.421-0.382=0.040 | | min | 7.687-7.740=-0.053 | | max | 8.685-8.707=-0.022 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4938.167-4944.727=-6.560 | | σ | 0.082-0.199=-0.117 | | min | 4938.095-4944.391=-6.297 | | max | 4938.265-4944.876=-6.611 |
| | mean | 2950.400-2962.200=-11.800 | | σ | 413.733-412.198=1.535 | | min | 2475.000-2505.000=-30.000 | | max | 3504.000-3523.000=-19.000 |
| | mean | 8.438-8.625=-0.186 | | σ | 0.236-0.461=-0.225 | | min | 8.262-8.393=-0.131 | | max | 8.854-9.449=-0.594 |
|