iters=5 new-facts=1 prior-facts=1 | | mean | 286.828-286.819=0.008 | | σ | 0.038-0.036=0.001 | | min | 286.781-286.769=0.012 | | max | 286.873-286.855=0.018 |
| | mean | 1647.000-1630.000=17.000 | | σ | 0.000 | | min | 1647.000-1630.000=17.000 | | max | 1647.000-1630.000=17.000 |
| | mean | 0.401-0.395=0.006 | | σ | 0.009-0.006=0.003 | | min | 0.391-0.388=0.003 | | max | 0.412-0.403=0.009 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1297.273-1297.253=0.020 | | σ | 0.081-0.079=0.003 | | min | 1297.197-1297.166=0.030 | | max | 1297.388-1297.343=0.044 |
| | mean | 1647.000-1630.000=17.000 | | σ | 0.000 | | min | 1647.000-1630.000=17.000 | | max | 1647.000-1630.000=17.000 |
| | mean | 2.198-2.102=0.096 | | σ | 0.080-0.077=0.002 | | min | 2.067-2.004=0.063 | | max | 2.261-2.195=0.066 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1541.337-1541.306=0.031 | | σ | 6.833-6.832=0.001 | | min | 1538.121-1538.072=0.049 | | max | 1553.558-1553.523=0.035 |
| | mean | 1647.000-1630.000=17.000 | | σ | 0.000 | | min | 1647.000-1630.000=17.000 | | max | 1647.000-1630.000=17.000 |
| | mean | 2.221-2.162=0.058 | | σ | 0.132-0.071=0.061 | | min | 2.112-2.062=0.050 | | max | 2.393-2.248=0.145 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1859.112-1859.111=0.002 | | σ | 0.067-0.081=-0.015 | | min | 1859.033-1858.989=0.044 | | max | 1859.193-1859.185=0.008 |
| | mean | 1781.000-1789.400=-8.400 | | σ | 125.178-163.199=-38.021 | | min | 1647.000-1630.000=17.000 | | max | 1904.000-1956.000=-52.000 |
| | mean | 3.097-2.996=0.101 | | σ | 0.321-0.113=0.208 | | min | 2.754-2.858=-0.104 | | max | 3.532-3.150=0.382 |
|