iters=5 new-facts=1 prior-facts=1 | | mean | 271.753-271.759=-0.006 | | σ | 0.006-0.005=0.001 | | min | 271.748-271.753=-0.005 | | max | 271.760-271.764=-0.003 |
| | mean | 2845.000-2888.000=-43.000 | | σ | 0.000 | | min | 2845.000-2888.000=-43.000 | | max | 2845.000-2888.000=-43.000 |
| | mean | 0.384-0.384=0.001 | | σ | 0.008-0.005=0.003 | | min | 0.376-0.376=0.000 | | max | 0.396-0.391=0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.183-1932.172=0.011 | | σ | 0.017-0.014=0.002 | | min | 1932.163-1932.154=0.009 | | max | 1932.208-1932.191=0.016 |
| | mean | 2845.000-2888.000=-43.000 | | σ | 0.000 | | min | 2845.000-2888.000=-43.000 | | max | 2845.000-2888.000=-43.000 |
| | mean | 2.856-3.016=-0.160 | | σ | 0.269-0.148=0.120 | | min | 2.472-2.763=-0.291 | | max | 3.101-3.118=-0.018 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.909-4752.890=0.019 | | σ | 0.940-0.928=0.012 | | min | 4752.374-4752.403=-0.028 | | max | 4754.579-4754.539=0.040 |
| | mean | 2845.000-2888.000=-43.000 | | σ | 0.000 | | min | 2845.000-2888.000=-43.000 | | max | 2845.000-2888.000=-43.000 |
| | mean | 8.601-8.638=-0.036 | | σ | 0.542-0.651=-0.109 | | min | 7.709-7.532=0.177 | | max | 9.113-9.079=0.034 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.230-4943.299=-0.069 | | σ | 0.209-0.164=0.045 | | min | 4942.997-4943.006=-0.009 | | max | 4943.397-4943.390=0.007 |
| | mean | 3021.000-3034.000=-13.000 | | σ | 239.465-172.435=67.030 | | min | 2845.000-2888.000=-43.000 | | max | 3399.000-3310.000=89.000 |
| | mean | 8.484-8.644=-0.160 | | σ | 0.071-0.098=-0.027 | | min | 8.405-8.529=-0.124 | | max | 8.566-8.771=-0.205 |
|