iters=5 new-facts=1 prior-facts=1 | | mean | 326.604-326.628=-0.024 | | σ | 0.045-0.058=-0.013 | | min | 326.524-326.525=-0.001 | | max | 326.632-326.660=-0.027 |
| | mean | 2605.000-2617.000=-12.000 | | σ | 0.000 | | min | 2605.000-2617.000=-12.000 | | max | 2605.000-2617.000=-12.000 |
| | mean | 0.427-0.426=0.001 | | σ | 0.006-0.004=0.002 | | min | 0.423-0.422=0.000 | | max | 0.435-0.433=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.804-1988.799=0.005 | | σ | 0.011-0.011=-0.000 | | min | 1988.788-1988.787=0.001 | | max | 1988.817-1988.813=0.004 |
| | mean | 2605.000-2617.000=-12.000 | | σ | 0.000 | | min | 2605.000-2617.000=-12.000 | | max | 2605.000-2617.000=-12.000 |
| | mean | 2.707-2.674=0.033 | | σ | 0.112-0.053=0.060 | | min | 2.622-2.624=-0.002 | | max | 2.903-2.745=0.158 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.686-4813.602=0.084 | | σ | 7.697-7.773=-0.077 | | min | 4810.104-4809.734=0.371 | | max | 4827.453-4827.500=-0.047 |
| | mean | 2605.000-2617.000=-12.000 | | σ | 0.000 | | min | 2605.000-2617.000=-12.000 | | max | 2605.000-2617.000=-12.000 |
| | mean | 8.269-8.252=0.016 | | σ | 0.595-0.621=-0.026 | | min | 7.793-7.833=-0.040 | | max | 9.207-9.314=-0.107 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.205-5001.199=0.006 | | σ | 0.034-0.022=0.012 | | min | 5001.175-5001.173=0.002 | | max | 5001.253-5001.224=0.028 |
| | mean | 2946.200-2970.600=-24.400 | | σ | 363.059-388.440=-25.381 | | min | 2605.000-2617.000=-12.000 | | max | 3441.000-3516.000=-75.000 |
| | mean | 9.620-9.550=0.070 | | σ | 0.712-0.281=0.431 | | min | 8.442-9.279=-0.837 | | max | 10.384-9.956=0.428 |
|