iters=5 new-facts=1 prior-facts=1 | | mean | 271.759-271.733=0.027 | | σ | 0.004-0.005=-0.001 | | min | 271.755-271.727=0.028 | | max | 271.762-271.738=0.025 |
| | mean | 2883.000-2869.000=14.000 | | σ | 0.000 | | min | 2883.000-2869.000=14.000 | | max | 2883.000-2869.000=14.000 |
| | mean | 0.380-0.381=-0.001 | | σ | 0.006-0.008=-0.001 | | min | 0.376-0.374=0.001 | | max | 0.391-0.393=-0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.172-1932.176=-0.004 | | σ | 0.005-0.004=0.001 | | min | 1932.163-1932.172=-0.009 | | max | 1932.177-1932.181=-0.005 |
| | mean | 2883.000-2869.000=14.000 | | σ | 0.000 | | min | 2883.000-2869.000=14.000 | | max | 2883.000-2869.000=14.000 |
| | mean | 3.017-2.997=0.020 | | σ | 0.072-0.041=0.032 | | min | 2.957-2.939=0.019 | | max | 3.112-3.040=0.072 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.892-4752.943=-0.051 | | σ | 0.867-0.940=-0.073 | | min | 4752.462-4752.346=0.115 | | max | 4754.442-4754.599=-0.157 |
| | mean | 2883.000-2869.000=14.000 | | σ | 0.000 | | min | 2883.000-2869.000=14.000 | | max | 2883.000-2869.000=14.000 |
| | mean | 8.600-8.474=0.125 | | σ | 0.244-0.698=-0.454 | | min | 8.267-7.661=0.605 | | max | 8.848-9.344=-0.496 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.377-4943.372=0.005 | | σ | 0.013-0.017=-0.004 | | min | 4943.359-4943.351=0.008 | | max | 4943.390-4943.389=0.000 |
| | mean | 3079.200-3076.800=2.400 | | σ | 213.579-222.748=-9.169 | | min | 2883.000-2869.000=14.000 | | max | 3400.000-3406.000=-6.000 |
| | mean | 8.538-8.587=-0.049 | | σ | 0.178-0.262=-0.084 | | min | 8.406-8.379=0.027 | | max | 8.841-9.041=-0.200 |
|