iters=5 new-facts=1 prior-facts=1 | | mean | 273.402-275.757=-2.354 | | σ | 0.010-0.007=0.003 | | min | 273.389-275.749=-2.360 | | max | 273.416-275.766=-2.350 |
| | mean | 2480.000-2693.000=-213.000 | | σ | 0.000 | | min | 2480.000-2693.000=-213.000 | | max | 2480.000-2693.000=-213.000 |
| | mean | 0.381-0.403=-0.022 | | σ | 0.010-0.010=-0.000 | | min | 0.375-0.394=-0.019 | | max | 0.398-0.417=-0.018 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.841-2168.270=-234.428 | | σ | 0.004-0.021=-0.017 | | min | 1933.835-2168.244=-234.409 | | max | 1933.845-2168.292=-234.447 |
| | mean | 2480.000-2693.000=-213.000 | | σ | 0.000 | | min | 2480.000-2693.000=-213.000 | | max | 2480.000-2693.000=-213.000 |
| | mean | 3.008-2.993=0.015 | | σ | 0.140-0.139=0.000 | | min | 2.855-2.759=0.096 | | max | 3.217-3.109=0.109 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.248-5047.863=-293.616 | | σ | 0.593-0.758=-0.165 | | min | 4753.735-5047.189=-293.454 | | max | 4755.271-5049.170=-293.898 |
| | mean | 2480.000-2693.000=-213.000 | | σ | 0.000 | | min | 2480.000-2693.000=-213.000 | | max | 2480.000-2693.000=-213.000 |
| | mean | 8.582-9.046=-0.464 | | σ | 0.650-0.386=0.264 | | min | 7.671-8.427=-0.756 | | max | 9.496-9.425=0.071 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.805-5179.222=-234.417 | | σ | 0.091-0.079=0.012 | | min | 4944.738-5179.146=-234.408 | | max | 4944.910-5179.312=-234.401 |
| | mean | 3010.200-3257.000=-246.800 | | σ | 314.234-325.601=-11.367 | | min | 2594.000-2785.000=-191.000 | | max | 3405.000-3665.000=-260.000 |
| | mean | 8.757-9.740=-0.983 | | σ | 0.420-0.154=0.267 | | min | 8.414-9.598=-1.183 | | max | 9.483-10.000=-0.517 |
|