iters=5 new-facts=1 prior-facts=1 | | mean | 286.817-286.818=-0.001 | | σ | 0.036-0.039=-0.003 | | min | 286.770-286.767=0.003 | | max | 286.852-286.858=-0.005 |
| | mean | 1635.000-1618.000=17.000 | | σ | 0.000 | | min | 1635.000-1618.000=17.000 | | max | 1635.000-1618.000=17.000 |
| | mean | 0.392-0.396=-0.003 | | σ | 0.008-0.005=0.003 | | min | 0.386-0.388=-0.002 | | max | 0.406-0.400=0.006 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1297.244-1297.211=0.034 | | σ | 0.074-0.121=-0.047 | | min | 1297.162-1297.088=0.074 | | max | 1297.301-1297.363=-0.062 |
| | mean | 1635.000-1618.000=17.000 | | σ | 0.000 | | min | 1635.000-1618.000=17.000 | | max | 1635.000-1618.000=17.000 |
| | mean | 2.041-1.879=0.163 | | σ | 0.037-0.094=-0.057 | | min | 1.978-1.804=0.174 | | max | 2.070-2.017=0.053 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1541.301-1541.335=-0.035 | | σ | 6.846-6.843=0.004 | | min | 1538.029-1538.054=-0.024 | | max | 1553.543-1553.573=-0.030 |
| | mean | 1635.000-1618.000=17.000 | | σ | 0.000 | | min | 1635.000-1618.000=17.000 | | max | 1635.000-1618.000=17.000 |
| | mean | 2.167-2.230=-0.064 | | σ | 0.131-0.156=-0.025 | | min | 2.089-2.119=-0.030 | | max | 2.397-2.489=-0.092 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1859.121-1859.123=-0.002 | | σ | 0.082-0.065=0.017 | | min | 1859.001-1859.032=-0.032 | | max | 1859.212-1859.199=0.013 |
| | mean | 1793.400-1763.000=30.400 | | σ | 181.230-178.827=2.403 | | min | 1635.000-1618.000=17.000 | | max | 2054.000-2032.000=22.000 |
| | mean | 3.019-2.891=0.128 | | σ | 0.050-0.145=-0.095 | | min | 2.969-2.777=0.192 | | max | 3.080-3.143=-0.063 |
|