iters=5 new-facts=1 prior-facts=1 | | mean | 273.609-273.505=0.103 | | σ | 0.006-0.008=-0.002 | | min | 273.602-273.497=0.105 | | max | 273.614-273.519=0.095 |
| | mean | 2840.000-2871.000=-31.000 | | σ | 0.000 | | min | 2840.000-2871.000=-31.000 | | max | 2840.000-2871.000=-31.000 |
| | mean | 0.387-0.387=-0.000 | | σ | 0.005-0.003=0.002 | | min | 0.382-0.385=-0.003 | | max | 0.395-0.392=0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1934.002-1933.897=0.105 | | σ | 0.007-0.009=-0.002 | | min | 1933.995-1933.886=0.108 | | max | 1934.010-1933.906=0.103 |
| | mean | 2840.000-2871.000=-31.000 | | σ | 0.000 | | min | 2840.000-2871.000=-31.000 | | max | 2840.000-2871.000=-31.000 |
| | mean | 2.996-3.002=-0.005 | | σ | 0.158-0.147=0.011 | | min | 2.741-2.787=-0.046 | | max | 3.142-3.188=-0.046 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.773-4754.739=0.034 | | σ | 0.839-0.792=0.048 | | min | 4754.246-4754.335=-0.089 | | max | 4756.264-4756.154=0.110 |
| | mean | 2840.000-2871.000=-31.000 | | σ | 0.000 | | min | 2840.000-2871.000=-31.000 | | max | 2840.000-2871.000=-31.000 |
| | mean | 8.498-7.980=0.517 | | σ | 0.529-0.256=0.273 | | min | 7.625-7.839=-0.214 | | max | 9.049-8.435=0.615 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.158-4945.112=0.046 | | σ | 0.166-0.014=0.152 | | min | 4944.864-4945.090=-0.226 | | max | 4945.263-4945.124=0.139 |
| | mean | 3050.000-3041.600=8.400 | | σ | 195.032-253.416=-58.384 | | min | 2840.000-2871.000=-31.000 | | max | 3330.000-3449.000=-119.000 |
| | mean | 8.802-8.432=0.371 | | σ | 0.301-0.069=0.232 | | min | 8.510-8.327=0.183 | | max | 9.305-8.498=0.808 |
|