iters=5 new-facts=1 prior-facts=1 | | mean | 272.760-272.756=0.004 | | σ | 0.006-0.003=0.003 | | min | 272.753-272.752=0.001 | | max | 272.766-272.759=0.007 |
| | mean | 2786.000-2771.000=15.000 | | σ | 0.000 | | min | 2786.000-2771.000=15.000 | | max | 2786.000-2771.000=15.000 |
| | mean | 0.387-0.388=-0.001 | | σ | 0.005-0.004=0.001 | | min | 0.383-0.384=-0.001 | | max | 0.395-0.395=-0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.135-1933.130=0.005 | | σ | 0.010-0.003=0.007 | | min | 1933.123-1933.126=-0.003 | | max | 1933.146-1933.133=0.013 |
| | mean | 2786.000-2771.000=15.000 | | σ | 0.000 | | min | 2786.000-2771.000=15.000 | | max | 2786.000-2771.000=15.000 |
| | mean | 3.076-3.099=-0.022 | | σ | 0.158-0.092=0.066 | | min | 2.896-3.016=-0.120 | | max | 3.301-3.229=0.072 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.863-4753.678=0.185 | | σ | 0.932-0.773=0.159 | | min | 4753.367-4753.058=0.310 | | max | 4755.528-4755.009=0.518 |
| | mean | 2786.000-2771.000=15.000 | | σ | 0.000 | | min | 2786.000-2771.000=15.000 | | max | 2786.000-2771.000=15.000 |
| | mean | 8.675-8.517=0.158 | | σ | 0.508-0.764=-0.256 | | min | 7.865-7.698=0.167 | | max | 9.140-9.372=-0.232 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.356-4944.368=-0.011 | | σ | 0.022-0.013=0.009 | | min | 4944.322-4944.355=-0.033 | | max | 4944.380-4944.384=-0.004 |
| | mean | 3004.400-3017.800=-13.400 | | σ | 278.751-307.043=-28.291 | | min | 2786.000-2771.000=15.000 | | max | 3424.000-3479.000=-55.000 |
| | mean | 8.301-8.662=-0.360 | | σ | 0.073-0.198=-0.125 | | min | 8.187-8.454=-0.268 | | max | 8.388-8.855=-0.467 |
|