iters=5 new-facts=1 prior-facts=1 | | mean | 271.759-271.733=0.025 | | σ | 0.004-0.006=-0.003 | | min | 271.754-271.724=0.030 | | max | 271.763-271.741=0.022 |
| | mean | 2895.000-2882.000=13.000 | | σ | 0.000 | | min | 2895.000-2882.000=13.000 | | max | 2895.000-2882.000=13.000 |
| | mean | 0.382-0.385=-0.003 | | σ | 0.014-0.011=0.002 | | min | 0.374-0.372=0.002 | | max | 0.406-0.398=0.009 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.174-1932.174=-0.000 | | σ | 0.004-0.002=0.001 | | min | 1932.170-1932.172=-0.002 | | max | 1932.180-1932.177=0.002 |
| | mean | 2895.000-2882.000=13.000 | | σ | 0.000 | | min | 2895.000-2882.000=13.000 | | max | 2895.000-2882.000=13.000 |
| | mean | 3.069-3.014=0.055 | | σ | 0.125-0.043=0.082 | | min | 2.977-2.969=0.008 | | max | 3.283-3.080=0.203 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.848-4752.964=-0.116 | | σ | 0.901-0.830=0.071 | | min | 4752.254-4752.506=-0.252 | | max | 4754.433-4754.441=-0.008 |
| | mean | 2895.000-2882.000=13.000 | | σ | 0.000 | | min | 2895.000-2882.000=13.000 | | max | 2895.000-2882.000=13.000 |
| | mean | 8.180-8.059=0.121 | | σ | 0.792-0.455=0.337 | | min | 7.512-7.686=-0.175 | | max | 9.438-8.612=0.826 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.372-4943.370=0.002 | | σ | 0.022-0.027=-0.004 | | min | 4943.348-4943.339=0.009 | | max | 4943.396-4943.405=-0.009 |
| | mean | 3075.400-3090.800=-15.400 | | σ | 251.399-289.974=-38.576 | | min | 2895.000-2882.000=13.000 | | max | 3469.000-3542.000=-73.000 |
| | mean | 8.438-8.463=-0.025 | | σ | 0.102-0.098=0.004 | | min | 8.328-8.377=-0.049 | | max | 8.588-8.630=-0.042 |
|