iters=5 new-facts=1 prior-facts=1 | | mean | 272.762-272.756=0.005 | | σ | 0.008-0.008=-0.000 | | min | 272.750-272.746=0.004 | | max | 272.770-272.766=0.004 |
| | mean | 2691.000-2705.000=-14.000 | | σ | 0.000 | | min | 2691.000-2705.000=-14.000 | | max | 2691.000-2705.000=-14.000 |
| | mean | 0.383-0.387=-0.004 | | σ | 0.002-0.005=-0.003 | | min | 0.381-0.381=-0.000 | | max | 0.386-0.392=-0.006 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.134-1933.134=-0.000 | | σ | 0.012-0.016=-0.004 | | min | 1933.124-1933.118=0.006 | | max | 1933.154-1933.161=-0.006 |
| | mean | 2691.000-2705.000=-14.000 | | σ | 0.000 | | min | 2691.000-2705.000=-14.000 | | max | 2691.000-2705.000=-14.000 |
| | mean | 2.928-2.990=-0.062 | | σ | 0.223-0.278=-0.056 | | min | 2.533-2.525=0.008 | | max | 3.049-3.206=-0.157 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.942-4753.852=0.090 | | σ | 0.935-0.660=0.275 | | min | 4753.340-4753.349=-0.009 | | max | 4755.601-4755.011=0.589 |
| | mean | 2691.000-2705.000=-14.000 | | σ | 0.000 | | min | 2691.000-2705.000=-14.000 | | max | 2691.000-2705.000=-14.000 |
| | mean | 8.396-8.121=0.275 | | σ | 0.612-0.574=0.038 | | min | 7.832-7.746=0.087 | | max | 9.329-9.109=0.220 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.294-4944.371=-0.077 | | σ | 0.149-0.022=0.127 | | min | 4944.029-4944.347=-0.318 | | max | 4944.383-4944.399=-0.015 |
| | mean | 2988.800-2983.000=5.800 | | σ | 332.410-320.504=11.906 | | min | 2691.000-2705.000=-14.000 | | max | 3460.000-3446.000=14.000 |
| | mean | 8.465-8.522=-0.057 | | σ | 0.115-0.167=-0.053 | | min | 8.394-8.370=0.024 | | max | 8.669-8.703=-0.034 |
|