iters=5 new-facts=1 prior-facts=1 | | mean | 326.634-327.399=-0.766 | | σ | 0.058-0.050=0.008 | | min | 326.530-327.311=-0.781 | | max | 326.668-327.434=-0.766 |
| | mean | 2833.000-2838.000=-5.000 | | σ | 0.000 | | min | 2833.000-2838.000=-5.000 | | max | 2833.000-2838.000=-5.000 |
| | mean | 0.428-0.427=0.001 | | σ | 0.011-0.004=0.007 | | min | 0.423-0.423=-0.000 | | max | 0.447-0.433=0.014 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.802-1989.560=-0.758 | | σ | 0.012-0.015=-0.003 | | min | 1988.789-1989.536=-0.747 | | max | 1988.815-1989.576=-0.761 |
| | mean | 2833.000-2838.000=-5.000 | | σ | 0.000 | | min | 2833.000-2838.000=-5.000 | | max | 2833.000-2838.000=-5.000 |
| | mean | 2.723-2.696=0.027 | | σ | 0.099-0.093=0.006 | | min | 2.605-2.576=0.029 | | max | 2.831-2.835=-0.004 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.421-4814.308=-0.886 | | σ | 7.858-7.831=0.027 | | min | 4809.546-4810.416=-0.871 | | max | 4827.468-4828.310=-0.842 |
| | mean | 2833.000-2838.000=-5.000 | | σ | 0.000 | | min | 2833.000-2838.000=-5.000 | | max | 2833.000-2838.000=-5.000 |
| | mean | 8.827-8.502=0.325 | | σ | 0.287-0.470=-0.184 | | min | 8.513-7.756=0.757 | | max | 9.152-9.045=0.107 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.220-5001.969=-0.749 | | σ | 0.027-0.025=0.002 | | min | 5001.181-5001.939=-0.758 | | max | 5001.248-5002.007=-0.759 |
| | mean | 3045.800-3053.600=-7.800 | | σ | 210.851-224.002=-13.151 | | min | 2833.000-2838.000=-5.000 | | max | 3352.000-3372.000=-20.000 |
| | mean | 9.989-9.830=0.159 | | σ | 0.319-0.185=0.135 | | min | 9.655-9.539=0.117 | | max | 10.375-9.993=0.382 |
|