iters=5 new-facts=1 prior-facts=1 | | mean | 272.097-270.140=1.957 | | σ | 0.008-0.009=-0.001 | | min | 272.082-270.131=1.952 | | max | 272.103-270.150=1.953 |
| | mean | 2768.000-2778.000=-10.000 | | σ | 0.000 | | min | 2768.000-2778.000=-10.000 | | max | 2768.000-2778.000=-10.000 |
| | mean | 0.393-0.377=0.016 | | σ | 0.011-0.005=0.006 | | min | 0.376-0.370=0.007 | | max | 0.406-0.383=0.023 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.525-1930.597=1.928 | | σ | 0.011-0.020=-0.009 | | min | 1932.512-1930.565=1.947 | | max | 1932.539-1930.613=1.925 |
| | mean | 2768.000-2778.000=-10.000 | | σ | 0.000 | | min | 2768.000-2778.000=-10.000 | | max | 2768.000-2778.000=-10.000 |
| | mean | 3.040-2.563=0.476 | | σ | 0.128-0.132=-0.004 | | min | 2.915-2.474=0.441 | | max | 3.188-2.783=0.404 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.272-4751.314=1.958 | | σ | 0.802-0.960=-0.158 | | min | 4752.816-4750.782=2.035 | | max | 4754.701-4753.021=1.680 |
| | mean | 2768.000-2778.000=-10.000 | | σ | 0.000 | | min | 2768.000-2778.000=-10.000 | | max | 2768.000-2778.000=-10.000 |
| | mean | 8.390-8.621=-0.231 | | σ | 0.450-0.656=-0.206 | | min | 7.702-7.625=0.077 | | max | 8.808-9.344=-0.536 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.640-4941.769=1.871 | | σ | 0.174-0.011=0.163 | | min | 4943.330-4941.754=1.576 | | max | 4943.737-4941.778=1.959 |
| | mean | 3054.600-2989.400=65.200 | | σ | 253.425-218.298=35.128 | | min | 2768.000-2778.000=-10.000 | | max | 3411.000-3306.000=105.000 |
| | mean | 8.534-8.472=0.062 | | σ | 0.081-0.083=-0.002 | | min | 8.412-8.405=0.007 | | max | 8.608-8.615=-0.007 |
|