iters=5 new-facts=1 prior-facts=1 | | mean | 271.990-272.018=-0.027 | | σ | 0.006-0.007=-0.001 | | min | 271.981-272.008=-0.027 | | max | 271.996-272.028=-0.031 |
| | mean | 2653.000-2899.000=-246.000 | | σ | 0.000 | | min | 2653.000-2899.000=-246.000 | | max | 2653.000-2899.000=-246.000 |
| | mean | 0.394-0.390=0.004 | | σ | 0.001-0.010=-0.009 | | min | 0.392-0.377=0.015 | | max | 0.395-0.404=-0.010 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.436-1932.436=-0.000 | | σ | 0.005-0.002=0.003 | | min | 1932.429-1932.434=-0.005 | | max | 1932.443-1932.439=0.004 |
| | mean | 2653.000-2899.000=-246.000 | | σ | 0.000 | | min | 2653.000-2899.000=-246.000 | | max | 2653.000-2899.000=-246.000 |
| | mean | 3.054-3.037=0.017 | | σ | 0.140-0.089=0.051 | | min | 2.935-2.966=-0.030 | | max | 3.283-3.180=0.103 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.031-4753.184=-0.153 | | σ | 0.980-0.831=0.149 | | min | 4752.273-4752.723=-0.450 | | max | 4754.750-4754.664=0.087 |
| | mean | 2653.000-2899.000=-246.000 | | σ | 0.000 | | min | 2653.000-2899.000=-246.000 | | max | 2653.000-2899.000=-246.000 |
| | mean | 8.650-8.455=0.196 | | σ | 0.389-0.371=0.017 | | min | 8.052-7.947=0.104 | | max | 9.092-8.844=0.249 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.631-4943.632=-0.001 | | σ | 0.023-0.018=0.005 | | min | 4943.611-4943.616=-0.005 | | max | 4943.659-4943.662=-0.003 |
| | mean | 3002.800-3087.600=-84.800 | | σ | 273.441-210.813=62.628 | | min | 2653.000-2899.000=-246.000 | | max | 3345.000-3412.000=-67.000 |
| | mean | 8.537-8.585=-0.048 | | σ | 0.110-0.187=-0.077 | | min | 8.400-8.376=0.024 | | max | 8.651-8.818=-0.168 |
|