iters=5 new-facts=1 prior-facts=1 | | mean | 271.598-271.598=-0.000 | | σ | 0.007-0.005=0.002 | | min | 271.589-271.592=-0.003 | | max | 271.604-271.603=0.001 |
| | mean | 2771.000-2746.000=25.000 | | σ | 0.000 | | min | 2771.000-2746.000=25.000 | | max | 2771.000-2746.000=25.000 |
| | mean | 0.384-0.381=0.004 | | σ | 0.004-0.004=0.000 | | min | 0.380-0.378=0.002 | | max | 0.390-0.387=0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.001-1932.000=0.002 | | σ | 0.016-0.008=0.007 | | min | 1931.975-1931.988=-0.013 | | max | 1932.013-1932.008=0.005 |
| | mean | 2771.000-2746.000=25.000 | | σ | 0.000 | | min | 2771.000-2746.000=25.000 | | max | 2771.000-2746.000=25.000 |
| | mean | 2.583-2.532=0.051 | | σ | 0.075-0.077=-0.002 | | min | 2.509-2.454=0.055 | | max | 2.669-2.636=0.033 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.665-4752.694=-0.029 | | σ | 1.010-0.950=0.061 | | min | 4751.816-4752.225=-0.409 | | max | 4754.409-4754.392=0.017 |
| | mean | 2771.000-2746.000=25.000 | | σ | 0.000 | | min | 2771.000-2746.000=25.000 | | max | 2771.000-2746.000=25.000 |
| | mean | 8.256-8.847=-0.591 | | σ | 0.588-0.204=0.384 | | min | 7.639-8.551=-0.912 | | max | 9.118-9.059=0.060 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.203-4943.210=-0.007 | | σ | 0.018-0.017=0.000 | | min | 4943.182-4943.193=-0.011 | | max | 4943.222-4943.236=-0.015 |
| | mean | 3023.000-2985.800=37.200 | | σ | 297.190-219.503=77.687 | | min | 2771.000-2746.000=25.000 | | max | 3461.000-3300.000=161.000 |
| | mean | 8.439-8.561=-0.122 | | σ | 0.081-0.076=0.005 | | min | 8.384-8.469=-0.085 | | max | 8.581-8.661=-0.080 |
|