iters=5 new-facts=1 prior-facts=1 | | mean | 286.824-286.829=-0.005 | | σ | 0.035-0.033=0.002 | | min | 286.775-286.793=-0.018 | | max | 286.859-286.865=-0.006 |
| | mean | 1625.000-1644.000=-19.000 | | σ | 0.000 | | min | 1625.000-1644.000=-19.000 | | max | 1625.000-1644.000=-19.000 |
| | mean | 0.397-0.409=-0.013 | | σ | 0.006-0.011=-0.005 | | min | 0.390-0.395=-0.006 | | max | 0.402-0.425=-0.022 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1297.290-1297.229=0.061 | | σ | 0.081-0.079=0.002 | | min | 1297.199-1297.131=0.068 | | max | 1297.410-1297.307=0.103 |
| | mean | 1625.000-1644.000=-19.000 | | σ | 0.000 | | min | 1625.000-1644.000=-19.000 | | max | 1625.000-1644.000=-19.000 |
| | mean | 2.234-2.062=0.172 | | σ | 0.018-0.069=-0.051 | | min | 2.211-1.984=0.226 | | max | 2.258-2.134=0.124 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1541.337-1541.402=-0.066 | | σ | 6.825-6.836=-0.011 | | min | 1538.118-1538.167=-0.049 | | max | 1553.543-1553.628=-0.084 |
| | mean | 1625.000-1644.000=-19.000 | | σ | 0.000 | | min | 1625.000-1644.000=-19.000 | | max | 1625.000-1644.000=-19.000 |
| | mean | 2.220-2.370=-0.151 | | σ | 0.108-0.205=-0.097 | | min | 2.124-2.105=0.019 | | max | 2.402-2.651=-0.250 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1859.117-1859.115=0.002 | | σ | 0.066-0.085=-0.019 | | min | 1859.028-1858.996=0.032 | | max | 1859.199-1859.198=0.001 |
| | mean | 1770.400-1777.200=-6.800 | | σ | 134.849-131.532=3.317 | | min | 1625.000-1644.000=-19.000 | | max | 1908.000-1913.000=-5.000 |
| | mean | 3.165-3.086=0.080 | | σ | 0.359-0.200=0.159 | | min | 2.867-2.855=0.012 | | max | 3.737-3.312=0.424 |
|