iters=5 new-facts=1 prior-facts=1 | | mean | 272.013-272.019=-0.006 | | σ | 0.008-0.004=0.005 | | min | 272.000-272.015=-0.014 | | max | 272.022-272.025=-0.003 |
| | mean | 2768.000-2884.000=-116.000 | | σ | 0.000 | | min | 2768.000-2884.000=-116.000 | | max | 2768.000-2884.000=-116.000 |
| | mean | 0.386-0.393=-0.006 | | σ | 0.007-0.006=0.001 | | min | 0.381-0.387=-0.007 | | max | 0.395-0.402=-0.007 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.432-1932.437=-0.005 | | σ | 0.008-0.005=0.003 | | min | 1932.420-1932.430=-0.011 | | max | 1932.439-1932.443=-0.004 |
| | mean | 2768.000-2884.000=-116.000 | | σ | 0.000 | | min | 2768.000-2884.000=-116.000 | | max | 2768.000-2884.000=-116.000 |
| | mean | 2.973-3.022=-0.049 | | σ | 0.085-0.068=0.017 | | min | 2.889-2.976=-0.088 | | max | 3.097-3.141=-0.044 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.161-4753.187=-0.026 | | σ | 0.829-0.800=0.030 | | min | 4752.606-4752.679=-0.073 | | max | 4754.622-4754.607=0.015 |
| | mean | 2768.000-2884.000=-116.000 | | σ | 0.000 | | min | 2768.000-2884.000=-116.000 | | max | 2768.000-2884.000=-116.000 |
| | mean | 8.585-8.363=0.222 | | σ | 0.462-0.384=0.079 | | min | 8.215-7.817=0.398 | | max | 9.267-8.838=0.430 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.633-4943.632=0.001 | | σ | 0.013-0.028=-0.015 | | min | 4943.618-4943.597=0.021 | | max | 4943.647-4943.665=-0.018 |
| | mean | 3001.800-3067.000=-65.200 | | σ | 228.981-195.553=33.428 | | min | 2768.000-2884.000=-116.000 | | max | 3336.000-3355.000=-19.000 |
| | mean | 8.501-8.498=0.003 | | σ | 0.081-0.164=-0.084 | | min | 8.415-8.358=0.057 | | max | 8.616-8.753=-0.136 |
|