iters=5 new-facts=1 prior-facts=1 | | mean | 270.240-270.236=0.003 | | σ | 0.009-0.011=-0.001 | | min | 270.229-270.221=0.008 | | max | 270.254-270.250=0.004 |
| | mean | 2849.000-2775.000=74.000 | | σ | 0.000 | | min | 2849.000-2775.000=74.000 | | max | 2849.000-2775.000=74.000 |
| | mean | 0.385-0.375=0.010 | | σ | 0.010-0.004=0.006 | | min | 0.373-0.368=0.005 | | max | 0.398-0.378=0.020 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.705-1930.704=0.001 | | σ | 0.012-0.011=0.001 | | min | 1930.692-1930.692=-0.001 | | max | 1930.723-1930.717=0.006 |
| | mean | 2849.000-2775.000=74.000 | | σ | 0.000 | | min | 2849.000-2775.000=74.000 | | max | 2849.000-2775.000=74.000 |
| | mean | 2.507-2.504=0.002 | | σ | 0.066-0.120=-0.054 | | min | 2.448-2.382=0.066 | | max | 2.597-2.681=-0.084 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.401-4751.210=0.191 | | σ | 0.911-0.733=0.178 | | min | 4750.892-4750.618=0.274 | | max | 4753.020-4752.484=0.536 |
| | mean | 2849.000-2775.000=74.000 | | σ | 0.000 | | min | 2849.000-2775.000=74.000 | | max | 2849.000-2775.000=74.000 |
| | mean | 8.590-8.529=0.061 | | σ | 0.415-0.381=0.035 | | min | 8.012-7.988=0.024 | | max | 9.019-9.052=-0.034 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.801-4941.796=0.005 | | σ | 0.159-0.158=0.001 | | min | 4941.518-4941.516=0.002 | | max | 4941.889-4941.892=-0.003 |
| | mean | 3069.800-3021.400=48.400 | | σ | 233.967-237.904=-3.937 | | min | 2849.000-2775.000=74.000 | | max | 3411.000-3337.000=74.000 |
| | mean | 8.670-8.575=0.095 | | σ | 0.487-0.238=0.249 | | min | 8.338-8.351=-0.014 | | max | 9.515-8.860=0.655 |
|