iters=5 new-facts=1 prior-facts=1 | | mean | 272.014-272.002=0.011 | | σ | 0.005-0.017=-0.012 | | min | 272.008-271.988=0.021 | | max | 272.021-272.026=-0.006 |
| | mean | 2763.000-2768.000=-5.000 | | σ | 0.000 | | min | 2763.000-2768.000=-5.000 | | max | 2763.000-2768.000=-5.000 |
| | mean | 0.391-0.394=-0.003 | | σ | 0.007-0.003=0.004 | | min | 0.379-0.392=-0.012 | | max | 0.399-0.400=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.445-1932.437=0.008 | | σ | 0.009-0.014=-0.006 | | min | 1932.435-1932.427=0.008 | | max | 1932.459-1932.461=-0.002 |
| | mean | 2763.000-2768.000=-5.000 | | σ | 0.000 | | min | 2763.000-2768.000=-5.000 | | max | 2763.000-2768.000=-5.000 |
| | mean | 2.899-2.975=-0.076 | | σ | 0.174-0.172=0.002 | | min | 2.691-2.687=0.004 | | max | 3.056-3.144=-0.088 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.041-4753.151=-0.110 | | σ | 0.637-0.943=-0.306 | | min | 4752.666-4752.638=0.027 | | max | 4754.173-4754.832=-0.660 |
| | mean | 2763.000-2768.000=-5.000 | | σ | 0.000 | | min | 2763.000-2768.000=-5.000 | | max | 2763.000-2768.000=-5.000 |
| | mean | 8.721-8.672=0.049 | | σ | 0.241-0.553=-0.312 | | min | 8.377-7.872=0.505 | | max | 9.000-9.304=-0.305 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.630-4943.630=0.000 | | σ | 0.014-0.017=-0.004 | | min | 4943.617-4943.609=0.008 | | max | 4943.652-4943.650=0.002 |
| | mean | 3029.400-3034.200=-4.800 | | σ | 238.358-250.400=-12.043 | | min | 2763.000-2768.000=-5.000 | | max | 3333.000-3376.000=-43.000 |
| | mean | 8.641-8.602=0.039 | | σ | 0.213-0.183=0.030 | | min | 8.417-8.417=0.000 | | max | 8.908-8.853=0.055 |
|