iters=5 new-facts=1 prior-facts=1 | | mean | 300.727-300.718=0.009 | | σ | 0.013-0.026=-0.014 | | min | 300.709-300.683=0.026 | | max | 300.743-300.752=-0.009 |
| | mean | 1626.000-1628.000=-2.000 | | σ | 0.000 | | min | 1626.000-1628.000=-2.000 | | max | 1626.000-1628.000=-2.000 |
| | mean | 0.393-0.393=-0.001 | | σ | 0.006-0.006=-0.000 | | min | 0.388-0.388=-0.001 | | max | 0.401-0.402=-0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1322.885-1322.856=0.029 | | σ | 0.093-0.080=0.013 | | min | 1322.840-1322.761=0.080 | | max | 1323.050-1322.982=0.068 |
| | mean | 1626.000-1628.000=-2.000 | | σ | 0.000 | | min | 1626.000-1628.000=-2.000 | | max | 1626.000-1628.000=-2.000 |
| | mean | 1.934-1.865=0.069 | | σ | 0.101-0.046=0.055 | | min | 1.817-1.826=-0.009 | | max | 2.084-1.943=0.141 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1561.373-1561.384=-0.011 | | σ | 6.862-6.876=-0.014 | | min | 1558.041-1558.137=-0.096 | | max | 1573.643-1573.680=-0.037 |
| | mean | 1626.000-1628.000=-2.000 | | σ | 0.000 | | min | 1626.000-1628.000=-2.000 | | max | 1626.000-1628.000=-2.000 |
| | mean | 2.472-2.511=-0.038 | | σ | 0.356-0.260=0.097 | | min | 2.083-2.128=-0.045 | | max | 2.890-2.841=0.049 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1890.810-1890.804=0.006 | | σ | 0.009-0.026=-0.017 | | min | 1890.803-1890.777=0.026 | | max | 1890.826-1890.845=-0.019 |
| | mean | 1768.600-1764.800=3.800 | | σ | 173.268-167.820=5.448 | | min | 1626.000-1628.000=-2.000 | | max | 2030.000-2024.000=6.000 |
| | mean | 2.919-2.934=-0.015 | | σ | 0.087-0.114=-0.027 | | min | 2.871-2.864=0.007 | | max | 3.075-3.135=-0.060 |
|