iters=5 new-facts=1 prior-facts=1 | | mean | 324.697-324.709=-0.012 | | σ | 0.037-0.048=-0.011 | | min | 324.631-324.624=0.008 | | max | 324.717-324.739=-0.022 |
| | mean | 2810.000-2824.000=-14.000 | | σ | 0.000 | | min | 2810.000-2824.000=-14.000 | | max | 2810.000-2824.000=-14.000 |
| | mean | 0.427-0.423=0.003 | | σ | 0.007-0.001=0.006 | | min | 0.422-0.423=-0.000 | | max | 0.439-0.424=0.014 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.249-1985.262=-0.013 | | σ | 0.015-0.015=-0.000 | | min | 1985.230-1985.238=-0.008 | | max | 1985.263-1985.278=-0.015 |
| | mean | 2810.000-2824.000=-14.000 | | σ | 0.000 | | min | 2810.000-2824.000=-14.000 | | max | 2810.000-2824.000=-14.000 |
| | mean | 2.639-2.677=-0.039 | | σ | 0.163-0.113=0.050 | | min | 2.392-2.550=-0.159 | | max | 2.824-2.792=0.033 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.888-4808.861=0.027 | | σ | 7.639-7.669=-0.030 | | min | 4805.391-4805.404=-0.013 | | max | 4822.551-4822.580=-0.029 |
| | mean | 2810.000-2824.000=-14.000 | | σ | 0.000 | | min | 2810.000-2824.000=-14.000 | | max | 2810.000-2824.000=-14.000 |
| | mean | 8.796-8.799=-0.004 | | σ | 0.485-0.141=0.344 | | min | 8.045-8.614=-0.569 | | max | 9.393-8.931=0.462 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.384-4996.466=-0.082 | | σ | 0.150-0.021=0.129 | | min | 4996.117-4996.431=-0.315 | | max | 4996.468-4996.482=-0.015 |
| | mean | 3016.400-3059.000=-42.600 | | σ | 272.625-306.841=-34.216 | | min | 2810.000-2824.000=-14.000 | | max | 3443.000-3533.000=-90.000 |
| | mean | 8.493-8.561=-0.068 | | σ | 0.018-0.296=-0.278 | | min | 8.475-8.406=0.070 | | max | 8.518-9.089=-0.571 |
|