iters=5 new-facts=1 prior-facts=1 | | mean | 303.788-303.777=0.011 | | σ | 0.050-0.071=-0.021 | | min | 303.717-303.665=0.052 | | max | 303.842-303.848=-0.006 |
| | mean | 1512.000-1629.000=-117.000 | | σ | 0.000 | | min | 1512.000-1629.000=-117.000 | | max | 1512.000-1629.000=-117.000 |
| | mean | 0.392-0.391=0.001 | | σ | 0.007-0.001=0.005 | | min | 0.388-0.389=-0.001 | | max | 0.404-0.393=0.011 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1326.337-1326.326=0.011 | | σ | 0.109-0.103=0.006 | | min | 1326.201-1326.194=0.007 | | max | 1326.470-1326.460=0.009 |
| | mean | 1512.000-1629.000=-117.000 | | σ | 0.000 | | min | 1512.000-1629.000=-117.000 | | max | 1512.000-1629.000=-117.000 |
| | mean | 1.884-1.943=-0.059 | | σ | 0.059-0.099=-0.040 | | min | 1.807-1.869=-0.062 | | max | 1.936-2.100=-0.163 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1564.373-1564.412=-0.038 | | σ | 6.922-6.910=0.012 | | min | 1561.072-1561.103=-0.031 | | max | 1576.751-1576.768=-0.017 |
| | mean | 1512.000-1629.000=-117.000 | | σ | 0.000 | | min | 1512.000-1629.000=-117.000 | | max | 1512.000-1629.000=-117.000 |
| | mean | 2.282-2.383=-0.101 | | σ | 0.297-0.316=-0.019 | | min | 2.019-2.017=0.002 | | max | 2.676-2.728=-0.052 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1894.272-1894.276=-0.004 | | σ | 0.065-0.077=-0.012 | | min | 1894.161-1894.139=0.021 | | max | 1894.318-1894.318=0.000 |
| | mean | 1751.000-1771.000=-20.000 | | σ | 241.674-170.223=71.451 | | min | 1512.000-1629.000=-117.000 | | max | 2111.000-2031.000=80.000 |
| | mean | 2.927-2.939=-0.011 | | σ | 0.115-0.116=-0.001 | | min | 2.820-2.871=-0.050 | | max | 3.099-3.143=-0.045 |
|