iters=5 new-facts=1 prior-facts=1 | | mean | 271.643-273.397=-1.754 | | σ | 0.004-0.018=-0.014 | | min | 271.639-273.367=-1.728 | | max | 271.648-273.412=-1.765 |
| | mean | 2849.000-2505.000=344.000 | | σ | 0.000 | | min | 2849.000-2505.000=344.000 | | max | 2849.000-2505.000=344.000 |
| | mean | 0.384-0.384=-0.000 | | σ | 0.009-0.009=0.000 | | min | 0.377-0.377=0.001 | | max | 0.397-0.394=0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.112-1933.834=-1.723 | | σ | 0.007-0.004=0.003 | | min | 1932.100-1933.831=-1.730 | | max | 1932.117-1933.841=-1.725 |
| | mean | 2849.000-2505.000=344.000 | | σ | 0.000 | | min | 2849.000-2505.000=344.000 | | max | 2849.000-2505.000=344.000 |
| | mean | 2.573-3.030=-0.456 | | σ | 0.195-0.109=0.086 | | min | 2.429-2.876=-0.447 | | max | 2.913-3.165=-0.252 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.642-4754.292=-1.650 | | σ | 0.770-0.879=-0.109 | | min | 4752.244-4753.614=-1.369 | | max | 4754.017-4755.835=-1.818 |
| | mean | 2849.000-2505.000=344.000 | | σ | 0.000 | | min | 2849.000-2505.000=344.000 | | max | 2849.000-2505.000=344.000 |
| | mean | 8.080-8.069=0.012 | | σ | 0.272-0.382=-0.110 | | min | 7.719-7.740=-0.021 | | max | 8.397-8.707=-0.310 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.041-4944.727=-1.686 | | σ | 0.080-0.199=-0.118 | | min | 4942.961-4944.391=-1.430 | | max | 4943.128-4944.876=-1.749 |
| | mean | 3055.000-2962.200=92.800 | | σ | 266.493-412.198=-145.705 | | min | 2849.000-2505.000=344.000 | | max | 3462.000-3523.000=-61.000 |
| | mean | 8.414-8.625=-0.210 | | σ | 0.104-0.461=-0.357 | | min | 8.345-8.393=-0.049 | | max | 8.588-9.449=-0.861 |
|