iters=5 new-facts=1 prior-facts=1 | | mean | 271.619-272.017=-0.398 | | σ | 0.008-0.004=0.004 | | min | 271.609-272.012=-0.403 | | max | 271.628-272.021=-0.393 |
| | mean | 2776.000-2757.000=19.000 | | σ | 0.000 | | min | 2776.000-2757.000=19.000 | | max | 2776.000-2757.000=19.000 |
| | mean | 0.372-0.390=-0.018 | | σ | 0.006-0.009=-0.004 | | min | 0.369-0.379=-0.011 | | max | 0.382-0.403=-0.021 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.049-1932.436=-0.387 | | σ | 0.013-0.019=-0.006 | | min | 1932.039-1932.412=-0.373 | | max | 1932.069-1932.462=-0.393 |
| | mean | 2776.000-2757.000=19.000 | | σ | 0.000 | | min | 2776.000-2757.000=19.000 | | max | 2776.000-2757.000=19.000 |
| | mean | 2.917-2.910=0.006 | | σ | 0.267-0.293=-0.026 | | min | 2.455-2.392=0.062 | | max | 3.113-3.103=0.010 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.541-4753.027=-0.486 | | σ | 0.663-0.615=0.048 | | min | 4751.941-4752.677=-0.736 | | max | 4753.677-4754.124=-0.447 |
| | mean | 2776.000-2757.000=19.000 | | σ | 0.000 | | min | 2776.000-2757.000=19.000 | | max | 2776.000-2757.000=19.000 |
| | mean | 8.429-8.752=-0.323 | | σ | 0.543-0.188=0.355 | | min | 7.563-8.576=-1.013 | | max | 8.957-9.041=-0.085 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.168-4943.634=-0.467 | | σ | 0.149-0.019=0.130 | | min | 4942.902-4943.617=-0.715 | | max | 4943.256-4943.658=-0.402 |
| | mean | 3007.800-2987.000=20.800 | | σ | 229.352-218.754=10.597 | | min | 2776.000-2757.000=19.000 | | max | 3339.000-3303.000=36.000 |
| | mean | 8.556-8.523=0.033 | | σ | 0.256-0.114=0.143 | | min | 8.389-8.376=0.013 | | max | 9.002-8.648=0.355 |
|