iters=5 new-facts=1 prior-facts=1 | | mean | 324.713-324.700=0.013 | | σ | 0.040-0.063=-0.022 | | min | 324.642-324.589=0.053 | | max | 324.744-324.738=0.007 |
| | mean | 2827.000-2830.000=-3.000 | | σ | 0.000 | | min | 2827.000-2830.000=-3.000 | | max | 2827.000-2830.000=-3.000 |
| | mean | 0.427-0.437=-0.010 | | σ | 0.003-0.010=-0.007 | | min | 0.425-0.424=0.001 | | max | 0.430-0.450=-0.020 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.257-1985.262=-0.006 | | σ | 0.020-0.011=0.009 | | min | 1985.234-1985.244=-0.010 | | max | 1985.283-1985.273=0.010 |
| | mean | 2827.000-2830.000=-3.000 | | σ | 0.000 | | min | 2827.000-2830.000=-3.000 | | max | 2827.000-2830.000=-3.000 |
| | mean | 2.629-2.681=-0.052 | | σ | 0.126-0.137=-0.011 | | min | 2.533-2.551=-0.019 | | max | 2.830-2.882=-0.052 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.771-4808.780=-0.008 | | σ | 7.782-7.754=0.028 | | min | 4804.803-4805.067=-0.264 | | max | 4822.682-4822.648=0.034 |
| | mean | 2827.000-2830.000=-3.000 | | σ | 0.000 | | min | 2827.000-2830.000=-3.000 | | max | 2827.000-2830.000=-3.000 |
| | mean | 8.877-8.568=0.308 | | σ | 0.410-0.662=-0.252 | | min | 8.312-7.766=0.545 | | max | 9.403-9.099=0.304 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.256-4996.454=-0.198 | | σ | 0.195-0.024=0.171 | | min | 4996.101-4996.423=-0.322 | | max | 4996.488-4996.477=0.012 |
| | mean | 3063.600-3060.400=3.200 | | σ | 308.514-304.147=4.367 | | min | 2827.000-2830.000=-3.000 | | max | 3536.000-3531.000=5.000 |
| | mean | 8.468-8.572=-0.104 | | σ | 0.115-0.151=-0.036 | | min | 8.288-8.448=-0.160 | | max | 8.603-8.784=-0.181 |
|