iters=5 new-facts=1 prior-facts=1 | | mean | 286.815-286.823=-0.008 | | σ | 0.036-0.038=-0.002 | | min | 286.769-286.770=-0.001 | | max | 286.856-286.862=-0.006 |
| | mean | 1642.000-1638.000=4.000 | | σ | 0.000 | | min | 1642.000-1638.000=4.000 | | max | 1642.000-1638.000=4.000 |
| | mean | 0.393-0.396=-0.003 | | σ | 0.005-0.007=-0.001 | | min | 0.389-0.389=-0.001 | | max | 0.402-0.404=-0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1297.265-1297.230=0.035 | | σ | 0.040-0.048=-0.008 | | min | 1297.211-1297.167=0.044 | | max | 1297.304-1297.298=0.006 |
| | mean | 1642.000-1638.000=4.000 | | σ | 0.000 | | min | 1642.000-1638.000=4.000 | | max | 1642.000-1638.000=4.000 |
| | mean | 2.199-2.094=0.105 | | σ | 0.148-0.125=0.023 | | min | 2.041-2.005=0.036 | | max | 2.436-2.308=0.128 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1541.315-1541.371=-0.056 | | σ | 6.837-6.828=0.008 | | min | 1538.080-1538.134=-0.054 | | max | 1553.541-1553.583=-0.042 |
| | mean | 1642.000-1638.000=4.000 | | σ | 0.000 | | min | 1642.000-1638.000=4.000 | | max | 1642.000-1638.000=4.000 |
| | mean | 2.230-2.371=-0.141 | | σ | 0.152-0.261=-0.109 | | min | 2.102-2.094=0.008 | | max | 2.395-2.709=-0.314 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1859.113-1859.108=0.005 | | σ | 0.080-0.080=0.000 | | min | 1858.998-1858.990=0.008 | | max | 1859.192-1859.192=-0.000 |
| | mean | 1785.400-1780.400=5.000 | | σ | 147.003-124.380=22.623 | | min | 1642.000-1638.000=4.000 | | max | 1936.000-1899.000=37.000 |
| | mean | 3.029-3.051=-0.022 | | σ | 0.169-0.161=0.008 | | min | 2.846-2.861=-0.015 | | max | 3.298-3.260=0.038 |
|