iters=5 new-facts=1 prior-facts=1 | | mean | 326.449-326.443=0.006 | | σ | 0.043-0.058=-0.015 | | min | 326.375-326.339=0.036 | | max | 326.485-326.477=0.007 |
| | mean | 2613.000-2835.000=-222.000 | | σ | 0.000 | | min | 2613.000-2835.000=-222.000 | | max | 2613.000-2835.000=-222.000 |
| | mean | 0.429-0.427=0.001 | | σ | 0.004-0.012=-0.008 | | min | 0.425-0.420=0.004 | | max | 0.435-0.449=-0.014 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.616-1988.612=0.004 | | σ | 0.010-0.014=-0.004 | | min | 1988.600-1988.593=0.006 | | max | 1988.626-1988.627=-0.001 |
| | mean | 2613.000-2835.000=-222.000 | | σ | 0.000 | | min | 2613.000-2835.000=-222.000 | | max | 2613.000-2835.000=-222.000 |
| | mean | 2.687-2.728=-0.040 | | σ | 0.116-0.142=-0.026 | | min | 2.618-2.558=0.060 | | max | 2.895-2.879=0.016 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.348-4813.391=-0.043 | | σ | 7.702-7.763=-0.061 | | min | 4809.426-4809.610=-0.184 | | max | 4827.116-4827.273=-0.158 |
| | mean | 2613.000-2835.000=-222.000 | | σ | 0.000 | | min | 2613.000-2835.000=-222.000 | | max | 2613.000-2835.000=-222.000 |
| | mean | 8.577-8.212=0.365 | | σ | 0.379-0.572=-0.193 | | min | 8.271-7.609=0.662 | | max | 9.061-9.044=0.017 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5000.940-5001.005=-0.065 | | σ | 0.166-0.035=0.131 | | min | 5000.644-5000.975=-0.330 | | max | 5001.035-5001.063=-0.028 |
| | mean | 3000.000-3035.800=-35.800 | | σ | 283.716-253.285=30.431 | | min | 2613.000-2835.000=-222.000 | | max | 3372.000-3411.000=-39.000 |
| | mean | 9.799-9.442=0.356 | | σ | 0.150-0.635=-0.485 | | min | 9.638-8.520=1.118 | | max | 10.001-10.229=-0.227 |
|