iters=5 new-facts=1 prior-facts=1 | | mean | 190.719-189.712=1.007 | | σ | 0.004-0.004=0.000 | | min | 190.714-189.705=1.009 | | max | 190.726-189.717=1.009 |
| | mean | 2605.000-2517.000=88.000 | | σ | 0.000 | | min | 2605.000-2517.000=88.000 | | max | 2605.000-2517.000=88.000 |
| | mean | 0.280-0.280=0.000 | | σ | 0.001-0.002=-0.002 | | min | 0.279-0.278=0.001 | | max | 0.281-0.285=-0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1989.482-1988.521=0.961 | | σ | 0.027-0.020=0.007 | | min | 1989.441-1988.493=0.949 | | max | 1989.517-1988.543=0.974 |
| | mean | 2605.000-2517.000=88.000 | | σ | 0.000 | | min | 2605.000-2517.000=88.000 | | max | 2605.000-2517.000=88.000 |
| | mean | 2.623-2.508=0.115 | | σ | 0.339-0.161=0.178 | | min | 2.336-2.358=-0.022 | | max | 3.142-2.687=0.454 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4880.081-4879.069=1.011 | | σ | 0.594-0.623=-0.029 | | min | 4879.734-4878.707=1.027 | | max | 4881.132-4880.174=0.958 |
| | mean | 2605.000-2517.000=88.000 | | σ | 0.000 | | min | 2605.000-2517.000=88.000 | | max | 2605.000-2517.000=88.000 |
| | mean | 8.234-8.320=-0.086 | | σ | 0.104-0.165=-0.061 | | min | 8.095-8.192=-0.097 | | max | 8.329-8.608=-0.279 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4891.693-4890.619=1.073 | | σ | 0.085-0.203=-0.118 | | min | 4891.623-4890.294=1.329 | | max | 4891.794-4890.793=1.001 |
| | mean | 3226.600-3308.200=-81.600 | | σ | 408.603-433.729=-25.126 | | min | 2814.000-2881.000=-67.000 | | max | 3631.000-3748.000=-117.000 |
| | mean | 8.269-8.125=0.144 | | σ | 0.415-0.117=0.298 | | min | 7.988-8.008=-0.020 | | max | 8.976-8.288=0.688 |
|