iters=5 new-facts=1 prior-facts=1 | | mean | 272.012-272.012=-0.001 | | σ | 0.011-0.004=0.007 | | min | 271.998-272.005=-0.006 | | max | 272.028-272.016=0.011 |
| | mean | 2770.000-2851.000=-81.000 | | σ | 0.000 | | min | 2770.000-2851.000=-81.000 | | max | 2770.000-2851.000=-81.000 |
| | mean | 0.396-0.384=0.012 | | σ | 0.018-0.009=0.009 | | min | 0.379-0.379=-0.000 | | max | 0.426-0.399=0.027 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.432-1932.438=-0.006 | | σ | 0.007-0.007=-0.000 | | min | 1932.421-1932.429=-0.008 | | max | 1932.440-1932.445=-0.006 |
| | mean | 2770.000-2851.000=-81.000 | | σ | 0.000 | | min | 2770.000-2851.000=-81.000 | | max | 2770.000-2851.000=-81.000 |
| | mean | 3.052-2.906=0.146 | | σ | 0.122-0.129=-0.007 | | min | 2.943-2.734=0.208 | | max | 3.187-3.049=0.138 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.254-4753.051=0.203 | | σ | 0.928-0.924=0.004 | | min | 4752.636-4752.293=0.343 | | max | 4754.900-4754.659=0.241 |
| | mean | 2770.000-2851.000=-81.000 | | σ | 0.000 | | min | 2770.000-2851.000=-81.000 | | max | 2770.000-2851.000=-81.000 |
| | mean | 8.129-8.566=-0.436 | | σ | 0.779-0.296=0.482 | | min | 7.597-8.261=-0.664 | | max | 9.504-9.043=0.461 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.626-4943.628=-0.002 | | σ | 0.011-0.015=-0.004 | | min | 4943.612-4943.615=-0.003 | | max | 4943.642-4943.645=-0.004 |
| | mean | 3000.000-3056.800=-56.800 | | σ | 291.018-207.017=84.001 | | min | 2770.000-2851.000=-81.000 | | max | 3451.000-3336.000=115.000 |
| | mean | 8.319-8.665=-0.347 | | σ | 0.102-0.212=-0.110 | | min | 8.159-8.448=-0.289 | | max | 8.415-8.970=-0.555 |
|