iters=5 new-facts=1 prior-facts=1 | | mean | 275.560-275.570=-0.009 | | σ | 0.007-0.006=0.001 | | min | 275.552-275.565=-0.013 | | max | 275.568-275.580=-0.012 |
| | mean | 2641.000-2718.000=-77.000 | | σ | 0.000 | | min | 2641.000-2718.000=-77.000 | | max | 2641.000-2718.000=-77.000 |
| | mean | 0.404-0.400=0.004 | | σ | 0.010-0.007=0.003 | | min | 0.395-0.394=0.000 | | max | 0.416-0.409=0.007 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.093-2168.089=0.003 | | σ | 0.006-0.018=-0.012 | | min | 2168.083-2168.074=0.010 | | max | 2168.097-2168.117=-0.020 |
| | mean | 2641.000-2718.000=-77.000 | | σ | 0.000 | | min | 2641.000-2718.000=-77.000 | | max | 2641.000-2718.000=-77.000 |
| | mean | 3.007-2.964=0.043 | | σ | 0.158-0.123=0.035 | | min | 2.838-2.774=0.065 | | max | 3.160-3.074=0.086 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.669-5047.777=-0.108 | | σ | 1.095-1.038=0.057 | | min | 5046.747-5046.750=-0.003 | | max | 5049.488-5049.517=-0.030 |
| | mean | 2641.000-2718.000=-77.000 | | σ | 0.000 | | min | 2641.000-2718.000=-77.000 | | max | 2641.000-2718.000=-77.000 |
| | mean | 8.837-8.857=-0.020 | | σ | 0.445-0.459=-0.014 | | min | 8.204-8.104=0.100 | | max | 9.400-9.281=0.118 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5178.984-5179.045=-0.061 | | σ | 0.222-0.090=0.132 | | min | 5178.613-5178.963=-0.350 | | max | 5179.181-5179.164=0.017 |
| | mean | 3217.000-3233.200=-16.200 | | σ | 387.074-361.481=25.594 | | min | 2682.000-2718.000=-36.000 | | max | 3700.000-3687.000=13.000 |
| | mean | 10.122-9.840=0.283 | | σ | 0.350-0.499=-0.149 | | min | 9.727-9.347=0.380 | | max | 10.670-10.555=0.115 |
|