iters=5 new-facts=1 prior-facts=1 | | mean | 286.820-286.818=0.002 | | σ | 0.040-0.039=0.002 | | min | 286.764-286.767=-0.003 | | max | 286.861-286.858=0.003 |
| | mean | 1646.000-1618.000=28.000 | | σ | 0.000 | | min | 1646.000-1618.000=28.000 | | max | 1646.000-1618.000=28.000 |
| | mean | 0.400-0.396=0.004 | | σ | 0.007-0.005=0.001 | | min | 0.389-0.388=0.001 | | max | 0.407-0.400=0.007 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1297.254-1297.211=0.043 | | σ | 0.080-0.121=-0.041 | | min | 1297.168-1297.088=0.080 | | max | 1297.343-1297.363=-0.020 |
| | mean | 1646.000-1618.000=28.000 | | σ | 0.000 | | min | 1646.000-1618.000=28.000 | | max | 1646.000-1618.000=28.000 |
| | mean | 2.103-1.879=0.224 | | σ | 0.078-0.094=-0.016 | | min | 2.014-1.804=0.210 | | max | 2.207-2.017=0.191 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1541.309-1541.335=-0.027 | | σ | 6.838-6.843=-0.005 | | min | 1538.049-1538.054=-0.004 | | max | 1553.536-1553.573=-0.036 |
| | mean | 1646.000-1618.000=28.000 | | σ | 0.000 | | min | 1646.000-1618.000=28.000 | | max | 1646.000-1618.000=28.000 |
| | mean | 2.177-2.230=-0.053 | | σ | 0.085-0.156=-0.071 | | min | 2.121-2.119=0.002 | | max | 2.327-2.489=-0.162 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1859.122-1859.123=-0.001 | | σ | 0.064-0.065=-0.001 | | min | 1859.040-1859.032=0.008 | | max | 1859.192-1859.199=-0.007 |
| | mean | 1781.400-1763.000=18.400 | | σ | 142.765-178.827=-36.062 | | min | 1646.000-1618.000=28.000 | | max | 1930.000-2032.000=-102.000 |
| | mean | 3.001-2.891=0.110 | | σ | 0.074-0.145=-0.072 | | min | 2.883-2.777=0.106 | | max | 3.086-3.143=-0.057 |
|