iters=5 new-facts=1 prior-facts=1 | | mean | 273.612-273.609=0.003 | | σ | 0.009-0.006=0.002 | | min | 273.602-273.599=0.002 | | max | 273.624-273.615=0.009 |
| | mean | 2848.000-2839.000=9.000 | | σ | 0.000 | | min | 2848.000-2839.000=9.000 | | max | 2848.000-2839.000=9.000 |
| | mean | 0.384-0.385=-0.002 | | σ | 0.001-0.009=-0.008 | | min | 0.382-0.379=0.003 | | max | 0.386-0.402=-0.016 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.999-1934.007=-0.008 | | σ | 0.007-0.013=-0.006 | | min | 1933.988-1933.989=-0.000 | | max | 1934.006-1934.021=-0.015 |
| | mean | 2848.000-2839.000=9.000 | | σ | 0.000 | | min | 2848.000-2839.000=9.000 | | max | 2848.000-2839.000=9.000 |
| | mean | 2.991-2.994=-0.002 | | σ | 0.058-0.343=-0.285 | | min | 2.949-2.632=0.317 | | max | 3.092-3.446=-0.355 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.790-4754.664=0.126 | | σ | 0.854-0.907=-0.053 | | min | 4754.343-4753.950=0.394 | | max | 4756.314-4756.249=0.064 |
| | mean | 2848.000-2839.000=9.000 | | σ | 0.000 | | min | 2848.000-2839.000=9.000 | | max | 2848.000-2839.000=9.000 |
| | mean | 8.406-8.509=-0.103 | | σ | 0.364-0.541=-0.178 | | min | 7.982-7.617=0.365 | | max | 8.739-8.960=-0.221 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.226-4945.224=0.002 | | σ | 0.024-0.017=0.007 | | min | 4945.199-4945.208=-0.009 | | max | 4945.259-4945.244=0.015 |
| | mean | 3046.600-3059.600=-13.000 | | σ | 204.925-189.629=15.296 | | min | 2848.000-2839.000=9.000 | | max | 3335.000-3325.000=10.000 |
| | mean | 8.514-8.605=-0.091 | | σ | 0.149-0.209=-0.059 | | min | 8.368-8.430=-0.063 | | max | 8.727-8.923=-0.196 |
|