iters=5 new-facts=1 prior-facts=1 | | mean | 271.290-270.118=1.172 | | σ | 0.004-0.005=-0.001 | | min | 271.286-270.112=1.174 | | max | 271.297-270.124=1.174 |
| | mean | 2767.000-2789.000=-22.000 | | σ | 0.000 | | min | 2767.000-2789.000=-22.000 | | max | 2767.000-2789.000=-22.000 |
| | mean | 0.384-0.381=0.003 | | σ | 0.006-0.006=-0.000 | | min | 0.379-0.373=0.006 | | max | 0.392-0.389=0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1931.710-1930.602=1.108 | | σ | 0.010-0.004=0.006 | | min | 1931.694-1930.596=1.098 | | max | 1931.720-1930.608=1.112 |
| | mean | 2767.000-2789.000=-22.000 | | σ | 0.000 | | min | 2767.000-2789.000=-22.000 | | max | 2767.000-2789.000=-22.000 |
| | mean | 3.047-2.598=0.449 | | σ | 0.122-0.149=-0.027 | | min | 2.906-2.477=0.429 | | max | 3.214-2.810=0.404 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.471-4751.185=1.286 | | σ | 0.858-0.933=-0.075 | | min | 4751.997-4750.305=1.692 | | max | 4753.999-4752.777=1.222 |
| | mean | 2767.000-2789.000=-22.000 | | σ | 0.000 | | min | 2767.000-2789.000=-22.000 | | max | 2767.000-2789.000=-22.000 |
| | mean | 8.364-8.366=-0.002 | | σ | 0.394-0.443=-0.050 | | min | 7.795-7.622=0.172 | | max | 8.835-8.716=0.119 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4942.772-4941.762=1.010 | | σ | 0.188-0.030=0.158 | | min | 4942.555-4941.728=0.828 | | max | 4942.914-4941.798=1.116 |
| | mean | 3037.600-3021.000=16.600 | | σ | 210.007-222.043=-12.036 | | min | 2767.000-2789.000=-22.000 | | max | 3321.000-3318.000=3.000 |
| | mean | 8.535-8.549=-0.014 | | σ | 0.165-0.151=0.014 | | min | 8.372-8.398=-0.026 | | max | 8.715-8.763=-0.048 |
|