iters=5 new-facts=1 prior-facts=1 | | mean | 285.023-285.031=-0.007 | | σ | 0.029-0.039=-0.010 | | min | 284.981-284.982=-0.001 | | max | 285.055-285.074=-0.019 |
| | mean | 1507.000-1645.000=-138.000 | | σ | 0.000 | | min | 1507.000-1645.000=-138.000 | | max | 1507.000-1645.000=-138.000 |
| | mean | 0.396-0.403=-0.007 | | σ | 0.010-0.008=0.002 | | min | 0.386-0.390=-0.004 | | max | 0.412-0.411=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.432-1295.417=0.014 | | σ | 0.062-0.111=-0.049 | | min | 1295.364-1295.282=0.082 | | max | 1295.498-1295.549=-0.052 |
| | mean | 1507.000-1645.000=-138.000 | | σ | 0.000 | | min | 1507.000-1645.000=-138.000 | | max | 1507.000-1645.000=-138.000 |
| | mean | 2.079-1.875=0.204 | | σ | 0.098-0.059=0.039 | | min | 2.000-1.813=0.188 | | max | 2.198-1.952=0.246 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1539.562-1539.520=0.042 | | σ | 6.829-6.864=-0.035 | | min | 1536.319-1536.259=0.060 | | max | 1551.775-1551.795=-0.020 |
| | mean | 1507.000-1645.000=-138.000 | | σ | 0.000 | | min | 1507.000-1645.000=-138.000 | | max | 1507.000-1645.000=-138.000 |
| | mean | 2.315-2.230=0.084 | | σ | 0.261-0.181=0.080 | | min | 2.016-2.031=-0.015 | | max | 2.679-2.441=0.239 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1857.316-1857.327=-0.011 | | σ | 0.073-0.049=0.024 | | min | 1857.206-1857.274=-0.068 | | max | 1857.385-1857.394=-0.009 |
| | mean | 1748.400-1777.800=-29.400 | | σ | 208.509-168.073=40.435 | | min | 1507.000-1645.000=-138.000 | | max | 2026.000-2027.000=-1.000 |
| | mean | 3.006-2.916=0.089 | | σ | 0.080-0.133=-0.053 | | min | 2.900-2.806=0.094 | | max | 3.096-3.130=-0.034 |
|