iters=5 new-facts=1 prior-facts=1 | | mean | 324.702-324.709=-0.007 | | σ | 0.055-0.039=0.016 | | min | 324.604-324.639=-0.035 | | max | 324.733-324.728=0.004 |
| | mean | 2837.000-2429.000=408.000 | | σ | 0.000 | | min | 2837.000-2429.000=408.000 | | max | 2837.000-2429.000=408.000 |
| | mean | 0.430-0.423=0.007 | | σ | 0.008-0.002=0.006 | | min | 0.422-0.421=0.001 | | max | 0.442-0.426=0.017 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.263-1985.265=-0.002 | | σ | 0.014-0.011=0.003 | | min | 1985.239-1985.246=-0.007 | | max | 1985.275-1985.272=0.003 |
| | mean | 2837.000-2429.000=408.000 | | σ | 0.000 | | min | 2837.000-2429.000=408.000 | | max | 2837.000-2429.000=408.000 |
| | mean | 2.613-2.593=0.020 | | σ | 0.114-0.096=0.017 | | min | 2.468-2.485=-0.017 | | max | 2.746-2.748=-0.002 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.918-4808.642=0.276 | | σ | 7.650-7.793=-0.144 | | min | 4805.393-4804.784=0.609 | | max | 4822.601-4822.569=0.032 |
| | mean | 2837.000-2429.000=408.000 | | σ | 0.000 | | min | 2837.000-2429.000=408.000 | | max | 2837.000-2429.000=408.000 |
| | mean | 8.531-8.479=0.052 | | σ | 0.525-0.470=0.056 | | min | 7.844-7.846=-0.002 | | max | 8.937-8.887=0.051 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.458-4996.464=-0.006 | | σ | 0.019-0.014=0.005 | | min | 4996.431-4996.450=-0.019 | | max | 4996.478-4996.482=-0.004 |
| | mean | 3060.000-2895.600=164.400 | | σ | 295.058-397.286=-102.227 | | min | 2837.000-2429.000=408.000 | | max | 3514.000-3434.000=80.000 |
| | mean | 8.560-8.531=0.029 | | σ | 0.157-0.124=0.033 | | min | 8.468-8.449=0.019 | | max | 8.833-8.750=0.083 |
|