iters=5 new-facts=1 prior-facts=1 | | mean | 277.196-279.509=-2.313 | | σ | 0.006-0.006=-0.001 | | min | 277.187-279.501=-2.314 | | max | 277.203-279.515=-2.312 |
| | mean | 2661.000-2753.000=-92.000 | | σ | 0.000 | | min | 2661.000-2753.000=-92.000 | | max | 2661.000-2753.000=-92.000 |
| | mean | 0.397-0.408=-0.011 | | σ | 0.009-0.007=0.003 | | min | 0.389-0.404=-0.015 | | max | 0.410-0.420=-0.010 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.402-2178.438=-4.036 | | σ | 0.068-0.014=0.053 | | min | 2174.282-2178.426=-4.144 | | max | 2174.446-2178.462=-4.015 |
| | mean | 2661.000-2753.000=-92.000 | | σ | 0.000 | | min | 2661.000-2753.000=-92.000 | | max | 2661.000-2753.000=-92.000 |
| | mean | 3.072-3.347=-0.274 | | σ | 0.258-0.123=0.135 | | min | 2.779-3.225=-0.446 | | max | 3.483-3.532=-0.049 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.379-5056.368=-3.989 | | σ | 0.798-0.980=-0.182 | | min | 5051.582-5055.761=-4.179 | | max | 5053.709-5058.104=-4.395 |
| | mean | 2661.000-2753.000=-92.000 | | σ | 0.000 | | min | 2661.000-2753.000=-92.000 | | max | 2661.000-2753.000=-92.000 |
| | mean | 8.582-9.120=-0.538 | | σ | 0.459-0.536=-0.077 | | min | 8.146-8.210=-0.064 | | max | 9.298-9.581=-0.283 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.426-5193.760=-5.334 | | σ | 0.090-0.090=-0.001 | | min | 5188.359-5193.686=-5.327 | | max | 5188.526-5193.860=-5.333 |
| | mean | 3221.400-3241.400=-20.000 | | σ | 356.709-340.469=16.240 | | min | 2719.000-2753.000=-34.000 | | max | 3660.000-3683.000=-23.000 |
| | mean | 8.839-9.028=-0.189 | | σ | 0.150-0.390=-0.239 | | min | 8.658-8.747=-0.088 | | max | 8.954-9.700=-0.747 |
|