iters=5 new-facts=1 prior-facts=1 | | mean | 271.758-271.757=0.001 | | σ | 0.007-0.007=0.001 | | min | 271.750-271.750=-0.001 | | max | 271.766-271.768=-0.002 |
| | mean | 2805.000-2849.000=-44.000 | | σ | 0.000 | | min | 2805.000-2849.000=-44.000 | | max | 2805.000-2849.000=-44.000 |
| | mean | 0.381-0.381=0.001 | | σ | 0.007-0.004=0.003 | | min | 0.371-0.378=-0.007 | | max | 0.390-0.389=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.177-1932.177=0.000 | | σ | 0.006-0.005=0.000 | | min | 1932.169-1932.170=-0.001 | | max | 1932.185-1932.184=0.002 |
| | mean | 2805.000-2849.000=-44.000 | | σ | 0.000 | | min | 2805.000-2849.000=-44.000 | | max | 2805.000-2849.000=-44.000 |
| | mean | 3.050-3.053=-0.004 | | σ | 0.064-0.075=-0.011 | | min | 2.991-2.986=0.005 | | max | 3.123-3.171=-0.048 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.947-4752.950=-0.004 | | σ | 0.836-0.853=-0.017 | | min | 4752.349-4752.459=-0.110 | | max | 4754.419-4754.470=-0.051 |
| | mean | 2805.000-2849.000=-44.000 | | σ | 0.000 | | min | 2805.000-2849.000=-44.000 | | max | 2805.000-2849.000=-44.000 |
| | mean | 8.160-8.267=-0.106 | | σ | 0.668-0.414=0.254 | | min | 7.663-7.835=-0.172 | | max | 9.226-8.780=0.445 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.368-4943.304=0.064 | | σ | 0.025-0.156=-0.131 | | min | 4943.344-4943.028=0.315 | | max | 4943.398-4943.400=-0.001 |
| | mean | 3057.400-3070.400=-13.000 | | σ | 317.311-290.069=27.242 | | min | 2805.000-2849.000=-44.000 | | max | 3537.000-3519.000=18.000 |
| | mean | 8.396-8.440=-0.044 | | σ | 0.102-0.104=-0.001 | | min | 8.305-8.347=-0.041 | | max | 8.556-8.602=-0.046 |
|