iters=5 new-facts=1 prior-facts=1 | | mean | 271.759-271.742=0.017 | | σ | 0.006-0.015=-0.009 | | min | 271.751-271.729=0.023 | | max | 271.767-271.765=0.002 |
| | mean | 2851.000-2881.000=-30.000 | | σ | 0.000 | | min | 2851.000-2881.000=-30.000 | | max | 2851.000-2881.000=-30.000 |
| | mean | 0.383-0.382=0.001 | | σ | 0.005-0.007=-0.002 | | min | 0.380-0.372=0.008 | | max | 0.392-0.390=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.186-1932.175=0.012 | | σ | 0.013-0.005=0.007 | | min | 1932.172-1932.168=0.004 | | max | 1932.207-1932.181=0.026 |
| | mean | 2851.000-2881.000=-30.000 | | σ | 0.000 | | min | 2851.000-2881.000=-30.000 | | max | 2851.000-2881.000=-30.000 |
| | mean | 3.056-3.050=0.006 | | σ | 0.157-0.142=0.015 | | min | 2.905-2.958=-0.053 | | max | 3.287-3.297=-0.010 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.650-4752.960=-0.310 | | σ | 0.729-0.761=-0.032 | | min | 4751.916-4752.512=-0.596 | | max | 4753.876-4754.317=-0.441 |
| | mean | 2851.000-2881.000=-30.000 | | σ | 0.000 | | min | 2851.000-2881.000=-30.000 | | max | 2851.000-2881.000=-30.000 |
| | mean | 8.657-8.011=0.646 | | σ | 0.371-0.344=0.027 | | min | 8.048-7.693=0.355 | | max | 8.934-8.545=0.388 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.370-4943.304=0.066 | | σ | 0.016-0.167=-0.152 | | min | 4943.353-4943.006=0.347 | | max | 4943.389-4943.395=-0.006 |
| | mean | 2980.400-3083.000=-102.600 | | σ | 162.124-277.996=-115.871 | | min | 2851.000-2881.000=-30.000 | | max | 3248.000-3518.000=-270.000 |
| | mean | 8.471-8.408=0.063 | | σ | 0.048-0.100=-0.052 | | min | 8.420-8.326=0.094 | | max | 8.543-8.579=-0.036 |
|