iters=5 new-facts=1 prior-facts=1 | | mean | 272.019-272.015=0.004 | | σ | 0.007-0.005=0.003 | | min | 272.011-272.011=0.000 | | max | 272.028-272.022=0.006 |
| | mean | 2851.000-2767.000=84.000 | | σ | 0.000 | | min | 2851.000-2767.000=84.000 | | max | 2851.000-2767.000=84.000 |
| | mean | 0.391-0.389=0.002 | | σ | 0.005-0.013=-0.008 | | min | 0.381-0.372=0.009 | | max | 0.395-0.404=-0.009 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.435-1932.430=0.005 | | σ | 0.008-0.014=-0.006 | | min | 1932.422-1932.410=0.012 | | max | 1932.443-1932.442=0.001 |
| | mean | 2851.000-2767.000=84.000 | | σ | 0.000 | | min | 2851.000-2767.000=84.000 | | max | 2851.000-2767.000=84.000 |
| | mean | 3.021-3.009=0.012 | | σ | 0.094-0.043=0.051 | | min | 2.937-2.959=-0.023 | | max | 3.180-3.066=0.113 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.108-4753.193=-0.086 | | σ | 0.564-0.857=-0.293 | | min | 4752.807-4752.755=0.052 | | max | 4754.112-4754.723=-0.611 |
| | mean | 2851.000-2767.000=84.000 | | σ | 0.000 | | min | 2851.000-2767.000=84.000 | | max | 2851.000-2767.000=84.000 |
| | mean | 8.258-8.354=-0.097 | | σ | 0.397-0.344=0.054 | | min | 7.775-7.845=-0.069 | | max | 8.598-8.774=-0.177 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.629-4943.632=-0.003 | | σ | 0.028-0.013=0.015 | | min | 4943.588-4943.619=-0.031 | | max | 4943.657-4943.650=0.007 |
| | mean | 3073.000-3036.000=37.000 | | σ | 226.723-228.980=-2.257 | | min | 2851.000-2767.000=84.000 | | max | 3406.000-3309.000=97.000 |
| | mean | 8.535-8.606=-0.071 | | σ | 0.149-0.195=-0.046 | | min | 8.411-8.404=0.008 | | max | 8.766-8.871=-0.105 |
|