iters=5 new-facts=1 prior-facts=1 | | mean | 275.570-277.194=-1.624 | | σ | 0.004-0.005=-0.001 | | min | 275.566-277.189=-1.623 | | max | 275.575-277.199=-1.624 |
| | mean | 2775.000-2616.000=159.000 | | σ | 0.000 | | min | 2775.000-2616.000=159.000 | | max | 2775.000-2616.000=159.000 |
| | mean | 0.392-0.397=-0.005 | | σ | 0.008-0.005=0.003 | | min | 0.382-0.393=-0.012 | | max | 0.399-0.405=-0.007 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.089-2174.441=-6.352 | | σ | 0.020-0.017=0.003 | | min | 2168.070-2174.426=-6.356 | | max | 2168.114-2174.467=-6.353 |
| | mean | 2775.000-2616.000=159.000 | | σ | 0.000 | | min | 2775.000-2616.000=159.000 | | max | 2775.000-2616.000=159.000 |
| | mean | 2.980-2.966=0.014 | | σ | 0.139-0.134=0.005 | | min | 2.752-2.796=-0.045 | | max | 3.093-3.101=-0.008 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.892-5052.385=-4.493 | | σ | 0.882-1.131=-0.249 | | min | 5047.340-5051.567=-4.227 | | max | 5049.449-5054.330=-4.881 |
| | mean | 2775.000-2616.000=159.000 | | σ | 0.000 | | min | 2775.000-2616.000=159.000 | | max | 2775.000-2616.000=159.000 |
| | mean | 8.843-8.839=0.004 | | σ | 0.479-0.707=-0.228 | | min | 8.083-8.051=0.032 | | max | 9.295-9.530=-0.235 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.055-5188.355=-9.300 | | σ | 0.089-0.115=-0.026 | | min | 5178.968-5188.181=-9.213 | | max | 5179.150-5188.503=-9.353 |
| | mean | 3326.400-3237.600=88.800 | | σ | 393.420-394.756=-1.336 | | min | 2775.000-2698.000=77.000 | | max | 3684.000-3739.000=-55.000 |
| | mean | 10.120-9.066=1.054 | | σ | 0.331-0.257=0.074 | | min | 9.665-8.720=0.945 | | max | 10.566-9.318=1.248 |
|