iters=5 new-facts=1 prior-facts=1 | | mean | 266.784-279.072=-12.288 | | σ | 0.007-0.011=-0.004 | | min | 266.779-279.058=-12.279 | | max | 266.795-279.086=-12.291 |
| | mean | 2777.000-2508.000=269.000 | | σ | 0.000 | | min | 2777.000-2508.000=269.000 | | max | 2777.000-2508.000=269.000 |
| | mean | 0.369-0.393=-0.024 | | σ | 0.008-0.012=-0.004 | | min | 0.365-0.384=-0.020 | | max | 0.383-0.413=-0.029 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1927.218-1939.507=-12.289 | | σ | 0.011-0.007=0.004 | | min | 1927.208-1939.494=-12.287 | | max | 1927.237-1939.513=-12.276 |
| | mean | 2777.000-2508.000=269.000 | | σ | 0.000 | | min | 2777.000-2508.000=269.000 | | max | 2777.000-2508.000=269.000 |
| | mean | 2.855-3.013=-0.158 | | σ | 0.161-0.116=0.045 | | min | 2.638-2.879=-0.240 | | max | 3.051-3.195=-0.144 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4747.658-4760.028=-12.370 | | σ | 0.513-0.899=-0.385 | | min | 4747.356-4759.549=-12.193 | | max | 4748.567-4761.631=-13.065 |
| | mean | 2777.000-2508.000=269.000 | | σ | 0.000 | | min | 2777.000-2508.000=269.000 | | max | 2777.000-2508.000=269.000 |
| | mean | 8.045-8.355=-0.310 | | σ | 0.304-0.649=-0.346 | | min | 7.776-7.681=0.095 | | max | 8.539-9.271=-0.732 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4938.166-4950.465=-12.299 | | σ | 0.082-0.074=0.008 | | min | 4938.092-4950.403=-12.310 | | max | 4938.258-4950.546=-12.288 |
| | mean | 3030.400-2952.800=77.600 | | σ | 315.412-407.743=-92.331 | | min | 2777.000-2508.000=269.000 | | max | 3514.000-3497.000=17.000 |
| | mean | 8.389-8.457=-0.067 | | σ | 0.117-0.088=0.029 | | min | 8.301-8.374=-0.073 | | max | 8.592-8.606=-0.014 |
|