iters=5 new-facts=1 prior-facts=1 | | mean | 286.829-286.819=0.010 | | σ | 0.028-0.036=-0.009 | | min | 286.798-286.769=0.029 | | max | 286.861-286.855=0.007 |
| | 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.396-0.395=0.001 | | σ | 0.007-0.006=0.001 | | min | 0.388-0.388=0.000 | | max | 0.404-0.403=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1297.239-1297.253=-0.013 | | σ | 0.077-0.079=-0.002 | | min | 1297.153-1297.166=-0.013 | | max | 1297.335-1297.343=-0.009 |
| | 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.120-2.102=0.018 | | σ | 0.063-0.077=-0.014 | | min | 2.024-2.004=0.020 | | max | 2.177-2.195=-0.018 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1541.341-1541.306=0.035 | | σ | 6.825-6.832=-0.007 | | min | 1538.089-1538.072=0.016 | | max | 1553.546-1553.523=0.024 |
| | 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.322-2.162=0.160 | | σ | 0.141-0.071=0.070 | | min | 2.153-2.062=0.091 | | max | 2.489-2.248=0.241 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1859.114-1859.111=0.003 | | σ | 0.070-0.081=-0.012 | | min | 1859.003-1858.989=0.014 | | max | 1859.181-1859.185=-0.004 |
| | mean | 1778.800-1789.400=-10.600 | | σ | 114.362-163.199=-48.837 | | min | 1647.000-1630.000=17.000 | | max | 1952.000-1956.000=-4.000 |
| | mean | 2.978-2.996=-0.018 | | σ | 0.160-0.113=0.047 | | min | 2.864-2.858=0.006 | | max | 3.251-3.150=0.102 |
|