iters=5 new-facts=1 prior-facts=1 | | mean | 278.701-278.675=0.025 | | σ | 0.013-0.013=0.001 | | min | 278.686-278.659=0.027 | | max | 278.721-278.688=0.033 |
| | mean | 2637.000-2607.000=30.000 | | σ | 0.000 | | min | 2637.000-2607.000=30.000 | | max | 2637.000-2607.000=30.000 |
| | mean | 0.419-0.423=-0.004 | | σ | 0.001-0.009=-0.008 | | min | 0.418-0.415=0.003 | | max | 0.421-0.437=-0.016 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.862-2268.846=0.017 | | σ | 0.018-0.010=0.008 | | min | 2268.841-2268.832=0.009 | | max | 2268.877-2268.859=0.018 |
| | mean | 2637.000-2607.000=30.000 | | σ | 0.000 | | min | 2637.000-2607.000=30.000 | | max | 2637.000-2607.000=30.000 |
| | mean | 3.147-2.985=0.162 | | σ | 0.169-0.172=-0.003 | | min | 2.894-2.825=0.070 | | max | 3.332-3.210=0.121 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.339-4952.174=0.164 | | σ | 0.825-0.863=-0.038 | | min | 4951.853-4951.704=0.149 | | max | 4953.809-4953.714=0.095 |
| | mean | 2637.000-2607.000=30.000 | | σ | 0.000 | | min | 2637.000-2607.000=30.000 | | max | 2637.000-2607.000=30.000 |
| | mean | 8.181-7.962=0.218 | | σ | 0.342-0.274=0.068 | | min | 7.821-7.729=0.091 | | max | 8.679-8.400=0.279 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5167.084-5166.900=0.184 | | σ | 0.009-0.027=-0.017 | | min | 5167.076-5166.883=0.194 | | max | 5167.095-5166.948=0.147 |
| | mean | 3365.800-3466.800=-101.000 | | σ | 452.575-465.017=-12.442 | | min | 2924.000-2888.000=36.000 | | max | 3828.000-4160.000=-332.000 |
| | mean | 9.430-9.433=-0.003 | | σ | 0.411-0.376=0.035 | | min | 9.051-9.143=-0.093 | | max | 10.025-10.065=-0.040 |
|