iters=5 new-facts=1 prior-facts=1 | | mean | 285.033-285.030=0.002 | | σ | 0.038-0.040=-0.002 | | min | 284.979-284.976=0.002 | | max | 285.075-285.071=0.004 |
| | mean | 1511.000-1626.000=-115.000 | | σ | 0.000 | | min | 1511.000-1626.000=-115.000 | | max | 1511.000-1626.000=-115.000 |
| | mean | 0.406-0.403=0.004 | | σ | 0.007-0.012=-0.005 | | min | 0.399-0.384=0.015 | | max | 0.415-0.413=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.459-1295.430=0.029 | | σ | 0.051-0.121=-0.069 | | min | 1295.404-1295.298=0.106 | | max | 1295.519-1295.590=-0.072 |
| | mean | 1511.000-1626.000=-115.000 | | σ | 0.000 | | min | 1511.000-1626.000=-115.000 | | max | 1511.000-1626.000=-115.000 |
| | mean | 2.166-1.893=0.274 | | σ | 0.132-0.079=0.053 | | min | 2.007-1.819=0.188 | | max | 2.366-2.006=0.360 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1539.569-1539.516=0.053 | | σ | 6.846-6.856=-0.011 | | min | 1536.345-1536.231=0.114 | | max | 1551.812-1551.776=0.035 |
| | mean | 1511.000-1626.000=-115.000 | | σ | 0.000 | | min | 1511.000-1626.000=-115.000 | | max | 1511.000-1626.000=-115.000 |
| | mean | 2.332-2.236=0.096 | | σ | 0.187-0.225=-0.038 | | min | 2.117-1.932=0.185 | | max | 2.549-2.456=0.093 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1857.315-1857.325=-0.010 | | σ | 0.074-0.061=0.013 | | min | 1857.208-1857.258=-0.050 | | max | 1857.396-1857.402=-0.006 |
| | mean | 1752.000-1776.800=-24.800 | | σ | 177.990-173.573=4.417 | | min | 1511.000-1626.000=-115.000 | | max | 1922.000-2028.000=-106.000 |
| | mean | 3.100-3.118=-0.018 | | σ | 0.318-0.288=0.030 | | min | 2.844-2.848=-0.005 | | max | 3.589-3.553=0.036 |
|