iters=5 new-facts=1 prior-facts=1 | | mean | 324.768-324.760=0.008 | | σ | 0.045-0.054=-0.010 | | min | 324.688-324.664=0.024 | | max | 324.790-324.796=-0.006 |
| | mean | 2794.000-2841.000=-47.000 | | σ | 0.000 | | min | 2794.000-2841.000=-47.000 | | max | 2794.000-2841.000=-47.000 |
| | mean | 0.430-0.431=-0.000 | | σ | 0.010-0.010=-0.000 | | min | 0.420-0.420=-0.000 | | max | 0.445-0.441=0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.322-1985.319=0.003 | | σ | 0.016-0.017=-0.001 | | min | 1985.294-1985.298=-0.004 | | max | 1985.334-1985.334=-0.001 |
| | mean | 2794.000-2841.000=-47.000 | | σ | 0.000 | | min | 2794.000-2841.000=-47.000 | | max | 2794.000-2841.000=-47.000 |
| | mean | 2.593-2.671=-0.078 | | σ | 0.095-0.129=-0.035 | | min | 2.508-2.522=-0.014 | | max | 2.732-2.853=-0.121 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4809.088-4809.090=-0.002 | | σ | 7.731-7.729=0.002 | | min | 4805.609-4805.566=0.043 | | max | 4822.918-4822.916=0.002 |
| | mean | 2794.000-2841.000=-47.000 | | σ | 0.000 | | min | 2794.000-2841.000=-47.000 | | max | 2794.000-2841.000=-47.000 |
| | mean | 9.030-8.986=0.043 | | σ | 0.160-0.159=0.002 | | min | 8.886-8.836=0.050 | | max | 9.277-9.196=0.081 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.554-4996.626=-0.072 | | σ | 0.146-0.030=0.116 | | min | 4996.295-4996.587=-0.292 | | max | 4996.646-4996.657=-0.011 |
| | mean | 3028.600-3064.800=-36.200 | | σ | 292.161-297.625=-5.464 | | min | 2794.000-2841.000=-47.000 | | max | 3469.000-3524.000=-55.000 |
| | mean | 8.562-8.665=-0.103 | | σ | 0.246-0.253=-0.007 | | min | 8.410-8.428=-0.018 | | max | 8.991-9.058=-0.067 |
|