iters=5 new-facts=1 prior-facts=1 | | mean | 272.766-272.769=-0.003 | | σ | 0.010-0.004=0.006 | | min | 272.754-272.764=-0.011 | | max | 272.781-272.773=0.008 |
| | mean | 2859.000-2420.000=439.000 | | σ | 0.000 | | min | 2859.000-2420.000=439.000 | | max | 2859.000-2420.000=439.000 |
| | mean | 0.383-0.384=-0.001 | | σ | 0.006-0.004=0.002 | | min | 0.378-0.380=-0.002 | | max | 0.390-0.389=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.152-1933.151=0.002 | | σ | 0.011-0.020=-0.009 | | min | 1933.134-1933.123=0.011 | | max | 1933.163-1933.174=-0.011 |
| | mean | 2859.000-2420.000=439.000 | | σ | 0.000 | | min | 2859.000-2420.000=439.000 | | max | 2859.000-2420.000=439.000 |
| | mean | 2.978-3.080=-0.102 | | σ | 0.292-0.174=0.118 | | min | 2.513-2.954=-0.441 | | max | 3.286-3.388=-0.102 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.938-4753.824=0.114 | | σ | 0.827-0.929=-0.102 | | min | 4753.467-4752.889=0.578 | | max | 4755.413-4755.385=0.028 |
| | mean | 2859.000-2420.000=439.000 | | σ | 0.000 | | min | 2859.000-2420.000=439.000 | | max | 2859.000-2420.000=439.000 |
| | mean | 8.390-8.410=-0.021 | | σ | 0.278-0.293=-0.015 | | min | 8.071-8.105=-0.033 | | max | 8.819-8.846=-0.027 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.379-4944.381=-0.002 | | σ | 0.019-0.023=-0.005 | | min | 4944.355-4944.354=0.000 | | max | 4944.401-4944.406=-0.005 |
| | mean | 3038.600-2898.600=140.000 | | σ | 263.316-392.243=-128.927 | | min | 2859.000-2420.000=439.000 | | max | 3462.000-3424.000=38.000 |
| | mean | 8.418-8.404=0.014 | | σ | 0.059-0.046=0.013 | | min | 8.377-8.355=0.023 | | max | 8.519-8.461=0.058 |
|