iters=5 new-facts=1 prior-facts=1 | | mean | 272.731-272.755=-0.024 | | σ | 0.007-0.004=0.003 | | min | 272.723-272.749=-0.026 | | max | 272.738-272.759=-0.021 |
| | mean | 2772.000-2771.000=1.000 | | σ | 0.000 | | min | 2772.000-2771.000=1.000 | | max | 2772.000-2771.000=1.000 |
| | mean | 0.383-0.382=0.001 | | σ | 0.009-0.005=0.004 | | min | 0.378-0.379=-0.001 | | max | 0.399-0.391=0.008 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.157-1933.158=-0.001 | | σ | 0.020-0.015=0.004 | | min | 1933.122-1933.140=-0.018 | | max | 1933.170-1933.177=-0.007 |
| | mean | 2772.000-2771.000=1.000 | | σ | 0.000 | | min | 2772.000-2771.000=1.000 | | max | 2772.000-2771.000=1.000 |
| | mean | 3.030-2.959=0.070 | | σ | 0.140-0.132=0.008 | | min | 2.831-2.745=0.086 | | max | 3.186-3.092=0.095 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4756.779-4756.795=-0.016 | | σ | 7.708-7.679=0.029 | | min | 4752.923-4752.949=-0.027 | | max | 4770.560-4770.524=0.037 |
| | mean | 2772.000-2771.000=1.000 | | σ | 0.000 | | min | 2772.000-2771.000=1.000 | | max | 2772.000-2771.000=1.000 |
| | mean | 8.809-8.705=0.104 | | σ | 0.147-0.547=-0.400 | | min | 8.641-7.947=0.694 | | max | 9.002-9.326=-0.324 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.257-4944.394=-0.137 | | σ | 0.176-0.018=0.158 | | min | 4944.062-4944.369=-0.307 | | max | 4944.387-4944.409=-0.022 |
| | mean | 3023.800-2987.400=36.400 | | σ | 251.364-220.205=31.159 | | min | 2772.000-2771.000=1.000 | | max | 3379.000-3309.000=70.000 |
| | mean | 8.620-8.514=0.106 | | σ | 0.202-0.082=0.120 | | min | 8.423-8.432=-0.010 | | max | 8.957-8.632=0.324 |
|