iters=5 new-facts=1 prior-facts=1 | | mean | 272.019-272.015=0.004 | | σ | 0.004-0.006=-0.003 | | min | 272.015-272.007=0.008 | | max | 272.025-272.023=0.002 |
| | mean | 2884.000-2851.000=33.000 | | σ | 0.000 | | min | 2884.000-2851.000=33.000 | | max | 2884.000-2851.000=33.000 |
| | mean | 0.393-0.385=0.008 | | σ | 0.006-0.008=-0.002 | | min | 0.387-0.380=0.008 | | max | 0.402-0.399=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.437-1932.444=-0.007 | | σ | 0.005-0.010=-0.005 | | min | 1932.430-1932.433=-0.002 | | max | 1932.443-1932.456=-0.013 |
| | mean | 2884.000-2851.000=33.000 | | σ | 0.000 | | min | 2884.000-2851.000=33.000 | | max | 2884.000-2851.000=33.000 |
| | mean | 3.022-2.936=0.086 | | σ | 0.068-0.178=-0.109 | | min | 2.976-2.623=0.353 | | max | 3.141-3.064=0.078 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.187-4753.172=0.015 | | σ | 0.800-0.839=-0.039 | | min | 4752.679-4752.713=-0.034 | | max | 4754.607-4754.665=-0.057 |
| | mean | 2884.000-2851.000=33.000 | | σ | 0.000 | | min | 2884.000-2851.000=33.000 | | max | 2884.000-2851.000=33.000 |
| | mean | 8.363-8.484=-0.121 | | σ | 0.384-0.452=-0.068 | | min | 7.817-7.818=-0.001 | | max | 8.838-8.997=-0.159 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.632-4943.628=0.004 | | σ | 0.028-0.026=0.002 | | min | 4943.597-4943.595=0.002 | | max | 4943.665-4943.657=0.007 |
| | mean | 3067.000-3072.000=-5.000 | | σ | 195.553-226.112=-30.559 | | min | 2884.000-2851.000=33.000 | | max | 3355.000-3404.000=-49.000 |
| | mean | 8.498-8.613=-0.115 | | σ | 0.164-0.233=-0.069 | | min | 8.358-8.416=-0.058 | | max | 8.753-9.017=-0.265 |
|