iters=5 new-facts=1 prior-facts=1 | | mean | 300.692-300.709=-0.017 | | σ | 0.048-0.015=0.033 | | min | 300.613-300.689=-0.076 | | max | 300.741-300.730=0.011 |
| | mean | 1636.000-1515.000=121.000 | | σ | 0.000 | | min | 1636.000-1515.000=121.000 | | max | 1636.000-1515.000=121.000 |
| | mean | 0.407-0.393=0.014 | | σ | 0.016-0.006=0.009 | | min | 0.390-0.387=0.003 | | max | 0.432-0.400=0.032 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1322.860-1322.873=-0.014 | | σ | 0.090-0.097=-0.007 | | min | 1322.810-1322.815=-0.005 | | max | 1323.021-1323.042=-0.021 |
| | mean | 1636.000-1515.000=121.000 | | σ | 0.000 | | min | 1636.000-1515.000=121.000 | | max | 1636.000-1515.000=121.000 |
| | mean | 1.915-1.905=0.011 | | σ | 0.131-0.082=0.050 | | min | 1.805-1.823=-0.018 | | max | 2.127-2.015=0.112 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1561.337-1561.308=0.029 | | σ | 6.895-6.883=0.011 | | min | 1558.040-1557.994=0.046 | | max | 1573.666-1573.615=0.051 |
| | mean | 1636.000-1515.000=121.000 | | σ | 0.000 | | min | 1636.000-1515.000=121.000 | | max | 1636.000-1515.000=121.000 |
| | mean | 2.366-2.301=0.065 | | σ | 0.340-0.277=0.063 | | min | 2.034-2.036=-0.002 | | max | 2.742-2.685=0.057 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1890.793-1890.787=0.006 | | σ | 0.026-0.014=0.012 | | min | 1890.760-1890.776=-0.016 | | max | 1890.827-1890.810=0.018 |
| | mean | 1774.200-1738.400=35.800 | | σ | 169.961-217.524=-47.563 | | min | 1636.000-1515.000=121.000 | | max | 2037.000-2033.000=4.000 |
| | mean | 2.903-2.924=-0.021 | | σ | 0.159-0.074=0.084 | | min | 2.692-2.874=-0.183 | | max | 3.137-3.052=0.086 |
|