iters=5 new-facts=1 prior-facts=1 | | mean | 275.572-277.883=-2.311 | | σ | 0.009-0.009=0.000 | | min | 275.562-277.869=-2.307 | | max | 275.582-277.893=-2.312 |
| | mean | 2472.000-2844.000=-372.000 | | σ | 0.000 | | min | 2472.000-2844.000=-372.000 | | max | 2472.000-2844.000=-372.000 |
| | mean | 0.398-0.403=-0.005 | | σ | 0.010-0.004=0.006 | | min | 0.388-0.399=-0.012 | | max | 0.409-0.408=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2172.833-2176.825=-3.992 | | σ | 0.019-0.020=-0.001 | | min | 2172.804-2176.797=-3.993 | | max | 2172.850-2176.841=-3.991 |
| | mean | 2472.000-2844.000=-372.000 | | σ | 0.000 | | min | 2472.000-2844.000=-372.000 | | max | 2472.000-2844.000=-372.000 |
| | mean | 3.077-3.371=-0.295 | | σ | 0.206-0.186=0.021 | | min | 2.817-3.093=-0.276 | | max | 3.366-3.537=-0.170 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5050.827-5054.581=-3.754 | | σ | 0.983-1.039=-0.056 | | min | 5050.010-5053.638=-3.628 | | max | 5052.533-5056.360=-3.826 |
| | mean | 2472.000-2844.000=-372.000 | | σ | 0.000 | | min | 2472.000-2844.000=-372.000 | | max | 2472.000-2844.000=-372.000 |
| | mean | 8.744-8.862=-0.119 | | σ | 0.455-0.417=0.038 | | min | 8.177-8.265=-0.088 | | max | 9.087-9.293=-0.206 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5186.806-5192.115=-5.309 | | σ | 0.087-0.093=-0.007 | | min | 5186.735-5192.024=-5.290 | | max | 5186.927-5192.217=-5.290 |
| | mean | 3283.000-3309.800=-26.800 | | σ | 420.631-372.739=47.892 | | min | 2695.000-2844.000=-149.000 | | max | 3671.000-3677.000=-6.000 |
| | mean | 9.814-8.826=0.987 | | σ | 0.257-0.083=0.174 | | min | 9.597-8.714=0.883 | | max | 10.163-8.897=1.266 |
|