iters=5 new-facts=1 prior-facts=1 | | mean | 325.314-325.322=-0.008 | | σ | 0.052-0.039=0.013 | | min | 325.221-325.253=-0.032 | | max | 325.341-325.349=-0.009 |
| | mean | 2690.000-2691.000=-1.000 | | σ | 0.000 | | min | 2690.000-2691.000=-1.000 | | max | 2690.000-2691.000=-1.000 |
| | mean | 0.427-0.428=-0.001 | | σ | 0.001-0.004=-0.003 | | min | 0.426-0.425=0.001 | | max | 0.429-0.433=-0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.878-1985.846=0.032 | | σ | 0.013-0.071=-0.057 | | min | 1985.854-1985.721=0.134 | | max | 1985.885-1985.891=-0.005 |
| | mean | 2690.000-2691.000=-1.000 | | σ | 0.000 | | min | 2690.000-2691.000=-1.000 | | max | 2690.000-2691.000=-1.000 |
| | mean | 2.721-2.737=-0.016 | | σ | 0.096-0.146=-0.050 | | min | 2.602-2.560=0.041 | | max | 2.848-2.944=-0.095 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4809.634-4809.638=-0.004 | | σ | 7.713-7.672=0.041 | | min | 4806.170-4806.177=-0.008 | | max | 4823.431-4823.361=0.069 |
| | mean | 2690.000-2691.000=-1.000 | | σ | 0.000 | | min | 2690.000-2691.000=-1.000 | | max | 2690.000-2691.000=-1.000 |
| | mean | 8.951-8.736=0.215 | | σ | 0.164-0.187=-0.023 | | min | 8.677-8.465=0.212 | | max | 9.088-8.975=0.112 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4997.115-4817.030=180.085 | | σ | 0.172-402.875=-402.703 | | min | 4996.810-4096.345=900.465 | | max | 4997.213-4997.224=-0.011 |
| | mean | 2964.800-2978.600=-13.800 | | σ | 323.851-240.904=82.947 | | min | 2690.000-2691.000=-1.000 | | max | 3443.000-3317.000=126.000 |
| | mean | 8.525-8.794=-0.269 | | σ | 0.073-0.964=-0.891 | | min | 8.443-7.287=1.156 | | max | 8.625-9.637=-1.013 |
|