iters=5 new-facts=1 prior-facts=1 | | mean | 324.597-324.586=0.011 | | σ | 0.007-0.048=-0.041 | | min | 324.585-324.501=0.085 | | max | 324.603-324.614=-0.010 |
| | mean | 2749.000-2834.000=-85.000 | | σ | 0.000 | | min | 2749.000-2834.000=-85.000 | | max | 2749.000-2834.000=-85.000 |
| | mean | 0.423-0.427=-0.005 | | σ | 0.001-0.008=-0.007 | | min | 0.422-0.423=-0.002 | | max | 0.425-0.442=-0.017 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.143-1985.144=-0.002 | | σ | 0.005-0.013=-0.008 | | min | 1985.135-1985.128=0.007 | | max | 1985.148-1985.161=-0.013 |
| | mean | 2749.000-2834.000=-85.000 | | σ | 0.000 | | min | 2749.000-2834.000=-85.000 | | max | 2749.000-2834.000=-85.000 |
| | mean | 2.624-2.642=-0.017 | | σ | 0.102-0.122=-0.019 | | min | 2.541-2.558=-0.018 | | max | 2.774-2.848=-0.074 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.642-4808.798=-0.156 | | σ | 7.720-7.643=0.077 | | min | 4804.724-4805.256=-0.532 | | max | 4822.443-4822.468=-0.025 |
| | mean | 2749.000-2834.000=-85.000 | | σ | 0.000 | | min | 2749.000-2834.000=-85.000 | | max | 2749.000-2834.000=-85.000 |
| | mean | 8.630-8.497=0.133 | | σ | 0.346-0.592=-0.246 | | min | 8.019-7.703=0.317 | | max | 8.851-9.080=-0.228 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.204-4996.279=-0.075 | | σ | 0.183-0.160=0.023 | | min | 4996.002-4995.996=0.006 | | max | 4996.348-4996.378=-0.029 |
| | mean | 3025.600-3087.000=-61.400 | | σ | 260.639-248.252=12.387 | | min | 2749.000-2834.000=-85.000 | | max | 3383.000-3330.000=53.000 |
| | mean | 8.633-8.884=-0.251 | | σ | 0.162-0.420=-0.258 | | min | 8.458-8.522=-0.064 | | max | 8.873-9.580=-0.707 |
|