iters=5 new-facts=1 prior-facts=1 | | mean | 286.819-286.825=-0.007 | | σ | 0.037-0.037=-0.001 | | min | 286.767-286.772=-0.005 | | max | 286.856-286.862=-0.007 |
| | mean | 1644.000-1645.000=-1.000 | | σ | 0.000 | | min | 1644.000-1645.000=-1.000 | | max | 1644.000-1645.000=-1.000 |
| | mean | 0.398-0.395=0.002 | | σ | 0.008-0.006=0.002 | | min | 0.389-0.388=0.001 | | max | 0.405-0.401=0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1297.236-1297.253=-0.017 | | σ | 0.069-0.073=-0.004 | | min | 1297.152-1297.169=-0.017 | | max | 1297.307-1297.331=-0.024 |
| | mean | 1644.000-1645.000=-1.000 | | σ | 0.000 | | min | 1644.000-1645.000=-1.000 | | max | 1644.000-1645.000=-1.000 |
| | mean | 2.088-2.100=-0.012 | | σ | 0.067-0.082=-0.015 | | min | 2.014-2.010=0.004 | | max | 2.177-2.166=0.012 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1541.319-1541.299=0.020 | | σ | 6.834-6.842=-0.008 | | min | 1538.095-1538.044=0.050 | | max | 1553.539-1553.534=0.006 |
| | mean | 1644.000-1645.000=-1.000 | | σ | 0.000 | | min | 1644.000-1645.000=-1.000 | | max | 1644.000-1645.000=-1.000 |
| | mean | 2.239-2.188=0.051 | | σ | 0.172-0.119=0.053 | | min | 2.054-2.088=-0.034 | | max | 2.476-2.392=0.084 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1859.110-1859.114=-0.004 | | σ | 0.080-0.082=-0.002 | | min | 1858.997-1859.003=-0.006 | | max | 1859.185-1859.204=-0.020 |
| | mean | 1782.800-1784.600=-1.800 | | σ | 145.661-146.700=-1.038 | | min | 1644.000-1645.000=-1.000 | | max | 1934.000-1937.000=-3.000 |
| | mean | 3.034-2.950=0.084 | | σ | 0.173-0.076=0.096 | | min | 2.862-2.857=0.005 | | max | 3.321-3.046=0.274 |
|