iters=5 new-facts=1 prior-facts=1 | | mean | 271.754-271.754=-0.000 | | σ | 0.007-0.007=-0.000 | | min | 271.749-271.744=0.005 | | max | 271.762-271.763=-0.001 |
| | mean | 2810.000-2772.000=38.000 | | σ | 0.000 | | min | 2810.000-2772.000=38.000 | | max | 2810.000-2772.000=38.000 |
| | mean | 0.379-0.387=-0.008 | | σ | 0.005-0.014=-0.009 | | min | 0.375-0.369=0.006 | | max | 0.388-0.398=-0.010 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.172-1932.184=-0.012 | | σ | 0.012-0.013=-0.002 | | min | 1932.162-1932.170=-0.007 | | max | 1932.192-1932.206=-0.015 |
| | mean | 2810.000-2772.000=38.000 | | σ | 0.000 | | min | 2810.000-2772.000=38.000 | | max | 2810.000-2772.000=38.000 |
| | mean | 3.032-2.918=0.113 | | σ | 0.053-0.270=-0.216 | | min | 2.996-2.441=0.555 | | max | 3.124-3.106=0.018 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.781-4752.932=-0.152 | | σ | 1.020-0.906=0.114 | | min | 4751.855-4752.410=-0.554 | | max | 4754.535-4754.543=-0.008 |
| | mean | 2810.000-2772.000=38.000 | | σ | 0.000 | | min | 2810.000-2772.000=38.000 | | max | 2810.000-2772.000=38.000 |
| | mean | 8.708-8.514=0.194 | | σ | 0.167-0.409=-0.242 | | min | 8.505-7.946=0.560 | | max | 8.955-8.970=-0.015 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.305-4943.379=-0.074 | | σ | 0.152-0.016=0.136 | | min | 4943.034-4943.361=-0.327 | | max | 4943.391-4943.401=-0.009 |
| | mean | 2989.600-2996.800=-7.200 | | σ | 204.159-226.526=-22.368 | | min | 2810.000-2772.000=38.000 | | max | 3308.000-3331.000=-23.000 |
| | mean | 8.565-8.489=0.076 | | σ | 0.110-0.123=-0.014 | | min | 8.423-8.379=0.044 | | max | 8.697-8.634=0.063 |
|