iters=5 new-facts=1 prior-facts=1 | | mean | 324.579-321.057=3.522 | | σ | 0.038-0.039=-0.001 | | min | 324.512-320.989=3.522 | | max | 324.603-321.082=3.521 |
| | mean | 2841.000-2858.000=-17.000 | | σ | 0.000 | | min | 2841.000-2858.000=-17.000 | | max | 2841.000-2858.000=-17.000 |
| | mean | 0.430-0.430=0.000 | | σ | 0.007-0.015=-0.008 | | min | 0.425-0.418=0.007 | | max | 0.443-0.448=-0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.129-1981.618=3.511 | | σ | 0.010-0.005=0.004 | | min | 1985.114-1981.609=3.505 | | max | 1985.140-1981.623=3.518 |
| | mean | 2841.000-2858.000=-17.000 | | σ | 0.000 | | min | 2841.000-2858.000=-17.000 | | max | 2841.000-2858.000=-17.000 |
| | mean | 2.587-2.647=-0.060 | | σ | 0.054-0.085=-0.030 | | min | 2.536-2.560=-0.024 | | max | 2.652-2.771=-0.119 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.656-4805.294=3.362 | | σ | 7.764-7.704=0.060 | | min | 4804.926-4801.764=3.162 | | max | 4822.542-4819.073=3.468 |
| | mean | 2841.000-2858.000=-17.000 | | σ | 0.000 | | min | 2841.000-2858.000=-17.000 | | max | 2841.000-2858.000=-17.000 |
| | mean | 8.881-8.537=0.344 | | σ | 0.496-0.522=-0.027 | | min | 8.052-7.631=0.421 | | max | 9.250-8.918=0.332 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.267-4992.828=3.439 | | σ | 0.168-0.023=0.145 | | min | 4995.969-4992.797=3.171 | | max | 4996.366-4992.856=3.510 |
| | mean | 3066.200-3068.200=-2.000 | | σ | 217.506-200.190=17.315 | | min | 2841.000-2858.000=-17.000 | | max | 3387.000-3362.000=25.000 |
| | mean | 8.673-8.641=0.032 | | σ | 0.186-0.230=-0.045 | | min | 8.488-8.437=0.051 | | max | 8.960-9.001=-0.041 |
|