iters=5 new-facts=1 prior-facts=1 | | mean | 285.406-286.825=-1.419 | | σ | 0.032-0.037=-0.006 | | min | 285.365-286.784=-1.420 | | max | 285.441-286.866=-1.425 |
| | mean | 1645.000-1653.000=-8.000 | | σ | 0.000 | | min | 1645.000-1653.000=-8.000 | | max | 1645.000-1653.000=-8.000 |
| | mean | 0.391-0.397=-0.005 | | σ | 0.009-0.007=0.002 | | min | 0.381-0.389=-0.008 | | max | 0.401-0.404=-0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.795-1297.186=-1.391 | | σ | 0.114-0.130=-0.016 | | min | 1295.666-1297.094=-1.428 | | max | 1295.947-1297.404=-1.457 |
| | mean | 1645.000-1653.000=-8.000 | | σ | 0.000 | | min | 1645.000-1653.000=-8.000 | | max | 1645.000-1653.000=-8.000 |
| | mean | 1.978-1.917=0.061 | | σ | 0.124-0.185=-0.062 | | min | 1.843-1.808=0.035 | | max | 2.132-2.238=-0.106 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1539.936-1541.370=-1.434 | | σ | 6.890-6.790=0.100 | | min | 1536.634-1538.173=-1.539 | | max | 1552.255-1553.513=-1.258 |
| | mean | 1645.000-1653.000=-8.000 | | σ | 0.000 | | min | 1645.000-1653.000=-8.000 | | max | 1645.000-1653.000=-8.000 |
| | mean | 2.345-2.338=0.007 | | σ | 0.207-0.185=0.021 | | min | 2.102-2.133=-0.032 | | max | 2.618-2.615=0.003 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1857.705-1859.114=-1.409 | | σ | 0.059-0.057=0.003 | | min | 1857.642-1859.039=-1.396 | | max | 1857.785-1859.178=-1.393 |
| | mean | 1772.800-1773.000=-0.200 | | σ | 134.715-158.273=-23.558 | | min | 1645.000-1653.000=-8.000 | | max | 1913.000-2017.000=-104.000 |
| | mean | 2.971-2.911=0.060 | | σ | 0.212-0.128=0.085 | | min | 2.677-2.832=-0.155 | | max | 3.277-3.138=0.139 |
|