iters=5 new-facts=1 prior-facts=1 | | mean | 277.190-279.513=-2.324 | | σ | 0.008-0.009=-0.001 | | min | 277.179-279.501=-2.322 | | max | 277.199-279.523=-2.324 |
| | mean | 2611.000-2745.000=-134.000 | | σ | 0.000 | | min | 2611.000-2745.000=-134.000 | | max | 2611.000-2745.000=-134.000 |
| | mean | 0.394-0.412=-0.019 | | σ | 0.006-0.007=-0.000 | | min | 0.386-0.405=-0.019 | | max | 0.403-0.419=-0.016 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2169.696-2178.436=-8.741 | | σ | 0.027-0.028=-0.001 | | min | 2169.667-2178.388=-8.721 | | max | 2169.740-2178.458=-8.718 |
| | mean | 2611.000-2745.000=-134.000 | | σ | 0.000 | | min | 2611.000-2745.000=-134.000 | | max | 2611.000-2745.000=-134.000 |
| | mean | 2.830-3.458=-0.628 | | σ | 0.182-0.126=0.056 | | min | 2.699-3.265=-0.566 | | max | 3.151-3.572=-0.420 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5049.563-5056.390=-6.827 | | σ | 0.952-0.962=-0.010 | | min | 5049.018-5055.925=-6.908 | | max | 5051.261-5058.110=-6.849 |
| | mean | 2611.000-2745.000=-134.000 | | σ | 0.000 | | min | 2611.000-2745.000=-134.000 | | max | 2611.000-2745.000=-134.000 |
| | mean | 8.877-8.552=0.325 | | σ | 0.541-0.495=0.046 | | min | 8.057-8.178=-0.121 | | max | 9.375-9.412=-0.037 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5180.518-5193.757=-13.239 | | σ | 0.266-0.087=0.179 | | min | 5180.234-5193.690=-13.456 | | max | 5180.765-5193.858=-13.093 |
| | mean | 3188.000-3291.600=-103.600 | | σ | 476.129-392.997=83.132 | | min | 2611.000-2745.000=-134.000 | | max | 3820.000-3662.000=158.000 |
| | mean | 8.797-9.003=-0.206 | | σ | 0.300-0.242=0.058 | | min | 8.625-8.759=-0.134 | | max | 9.330-9.401=-0.070 |
|