iters=5 new-facts=1 prior-facts=1 | | mean | 266.781-278.829=-12.049 | | σ | 0.009-0.005=0.003 | | min | 266.771-278.824=-12.053 | | max | 266.793-278.838=-12.045 |
| | mean | 2859.000-2683.000=176.000 | | σ | 0.000 | | min | 2859.000-2683.000=176.000 | | max | 2859.000-2683.000=176.000 |
| | mean | 0.365-0.411=-0.046 | | σ | 0.001-0.005=-0.004 | | min | 0.364-0.408=-0.044 | | max | 0.367-0.419=-0.052 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1927.208-2268.884=-341.676 | | σ | 0.011-0.006=0.006 | | min | 1927.193-2268.874=-341.681 | | max | 1927.222-2268.891=-341.668 |
| | mean | 2859.000-2683.000=176.000 | | σ | 0.000 | | min | 2859.000-2683.000=176.000 | | max | 2859.000-2683.000=176.000 |
| | mean | 3.015-2.925=0.090 | | σ | 0.097-0.090=0.007 | | min | 2.924-2.856=0.068 | | max | 3.163-3.083=0.080 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4747.722-4954.246=-206.525 | | σ | 0.807-0.848=-0.042 | | min | 4747.295-4953.729=-206.434 | | max | 4749.161-4955.753=-206.592 |
| | mean | 2859.000-2683.000=176.000 | | σ | 0.000 | | min | 2859.000-2683.000=176.000 | | max | 2859.000-2683.000=176.000 |
| | mean | 8.363-8.012=0.351 | | σ | 0.663-0.333=0.330 | | min | 7.693-7.742=-0.049 | | max | 9.194-8.493=0.701 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4938.162-5168.725=-230.563 | | σ | 0.081-0.203=-0.122 | | min | 4938.094-5168.386=-230.292 | | max | 4938.252-5168.885=-230.632 |
| | mean | 3088.600-3430.200=-341.600 | | σ | 308.840-463.168=-154.327 | | min | 2859.000-2803.000=56.000 | | max | 3570.000-4016.000=-446.000 |
| | mean | 8.366-9.463=-1.097 | | σ | 0.139-0.166=-0.027 | | min | 8.211-9.256=-1.044 | | max | 8.592-9.615=-1.023 |
|