iters=5 new-facts=1 prior-facts=1 | | mean | 273.398-273.405=-0.007 | | σ | 0.007-0.011=-0.003 | | min | 273.390-273.394=-0.005 | | max | 273.405-273.419=-0.014 |
| | mean | 2846.000-2506.000=340.000 | | σ | 0.000 | | min | 2846.000-2506.000=340.000 | | max | 2846.000-2506.000=340.000 |
| | mean | 0.388-0.389=-0.001 | | σ | 0.008-0.010=-0.002 | | min | 0.379-0.379=-0.000 | | max | 0.396-0.398=-0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.836-1933.844=-0.008 | | σ | 0.011-0.007=0.005 | | min | 1933.825-1933.836=-0.011 | | max | 1933.855-1933.854=0.001 |
| | mean | 2846.000-2506.000=340.000 | | σ | 0.000 | | min | 2846.000-2506.000=340.000 | | max | 2846.000-2506.000=340.000 |
| | mean | 2.998-3.036=-0.039 | | σ | 0.139-0.252=-0.113 | | min | 2.772-2.763=0.009 | | max | 3.123-3.357=-0.234 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.377-4754.339=0.038 | | σ | 0.850-0.884=-0.034 | | min | 4753.928-4753.848=0.079 | | max | 4755.894-4755.916=-0.021 |
| | mean | 2846.000-2506.000=340.000 | | σ | 0.000 | | min | 2846.000-2506.000=340.000 | | max | 2846.000-2506.000=340.000 |
| | mean | 8.245-8.467=-0.222 | | σ | 0.531-0.547=-0.016 | | min | 7.722-7.794=-0.072 | | max | 9.049-9.036=0.013 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.726-4944.795=-0.069 | | σ | 0.126-0.072=0.053 | | min | 4944.530-4944.738=-0.208 | | max | 4944.880-4944.883=-0.003 |
| | mean | 3058.600-2915.800=142.800 | | σ | 274.087-377.781=-103.694 | | min | 2846.000-2506.000=340.000 | | max | 3480.000-3433.000=47.000 |
| | mean | 8.586-8.516=0.070 | | σ | 0.420-0.211=0.209 | | min | 8.355-8.399=-0.044 | | max | 9.336-8.892=0.444 |
|