iters=5 new-facts=1 prior-facts=1 | | mean | 324.011-324.012=-0.001 | | σ | 0.060-0.058=0.002 | | min | 323.905-323.910=-0.005 | | max | 324.043-324.042=0.002 |
| | mean | 2758.000-2775.000=-17.000 | | σ | 0.000 | | min | 2758.000-2775.000=-17.000 | | max | 2758.000-2775.000=-17.000 |
| | mean | 0.428-0.428=0.000 | | σ | 0.004-0.004=0.000 | | min | 0.426-0.423=0.002 | | max | 0.435-0.433=0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1984.588-1984.586=0.001 | | σ | 0.021-0.024=-0.003 | | min | 1984.555-1984.547=0.008 | | max | 1984.607-1984.605=0.002 |
| | mean | 2758.000-2775.000=-17.000 | | σ | 0.000 | | min | 2758.000-2775.000=-17.000 | | max | 2758.000-2775.000=-17.000 |
| | mean | 2.643-2.709=-0.066 | | σ | 0.148-0.267=-0.119 | | min | 2.500-2.517=-0.016 | | max | 2.865-3.168=-0.303 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.054-4808.231=-0.178 | | σ | 7.563-7.758=-0.195 | | min | 4804.099-4804.702=-0.603 | | max | 4821.570-4822.108=-0.539 |
| | mean | 2758.000-2775.000=-17.000 | | σ | 0.000 | | min | 2758.000-2775.000=-17.000 | | max | 2758.000-2775.000=-17.000 |
| | mean | 8.640-8.848=-0.207 | | σ | 0.519-0.189=0.330 | | min | 7.871-8.553=-0.682 | | max | 9.236-9.046=0.191 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4995.731-4995.809=-0.078 | | σ | 0.155-0.017=0.138 | | min | 4995.458-4995.784=-0.326 | | max | 4995.836-4995.828=0.008 |
| | mean | 3035.000-3035.600=-0.600 | | σ | 219.256-233.793=-14.538 | | min | 2758.000-2775.000=-17.000 | | max | 3326.000-3334.000=-8.000 |
| | mean | 8.649-8.687=-0.038 | | σ | 0.154-0.150=0.004 | | min | 8.509-8.527=-0.018 | | max | 8.851-8.933=-0.082 |
|