iters=5 new-facts=1 prior-facts=1 | | mean | 275.758-275.758=-0.000 | | σ | 0.007-0.012=-0.005 | | min | 275.750-275.745=0.005 | | max | 275.767-275.773=-0.006 |
| | mean | 2644.000-2641.000=3.000 | | σ | 0.000 | | min | 2644.000-2641.000=3.000 | | max | 2644.000-2641.000=3.000 |
| | mean | 0.409-0.401=0.007 | | σ | 0.008-0.010=-0.002 | | min | 0.397-0.393=0.004 | | max | 0.419-0.416=0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.275-2168.286=-0.012 | | σ | 0.020-0.004=0.016 | | min | 2168.241-2168.283=-0.042 | | max | 2168.294-2168.293=0.001 |
| | mean | 2644.000-2641.000=3.000 | | σ | 0.000 | | min | 2644.000-2641.000=3.000 | | max | 2644.000-2641.000=3.000 |
| | mean | 2.966-2.926=0.040 | | σ | 0.155-0.118=0.037 | | min | 2.769-2.737=0.032 | | max | 3.163-3.011=0.152 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5048.000-5048.122=-0.122 | | σ | 1.064-0.924=0.140 | | min | 5047.030-5047.594=-0.564 | | max | 5049.827-5049.756=0.071 |
| | mean | 2644.000-2641.000=3.000 | | σ | 0.000 | | min | 2644.000-2641.000=3.000 | | max | 2644.000-2641.000=3.000 |
| | mean | 8.775-9.024=-0.250 | | σ | 0.527-0.687=-0.160 | | min | 8.100-8.032=0.067 | | max | 9.549-9.961=-0.412 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.156-5179.163=-0.007 | | σ | 0.123-0.134=-0.011 | | min | 5178.966-5178.961=0.006 | | max | 5179.311-5179.338=-0.028 |
| | mean | 3217.200-3272.200=-55.000 | | σ | 386.011-381.475=4.536 | | min | 2698.000-2732.000=-34.000 | | max | 3724.000-3730.000=-6.000 |
| | mean | 9.577-9.980=-0.403 | | σ | 0.317-0.074=0.243 | | min | 9.136-9.905=-0.769 | | max | 10.011-10.068=-0.057 |
|