iters=5 new-facts=1 prior-facts=1 | | mean | 300.669-301.476=-0.807 | | σ | 0.035-0.059=-0.024 | | min | 300.616-301.380=-0.763 | | max | 300.708-301.533=-0.825 |
| | mean | 1658.000-1627.000=31.000 | | σ | 0.000 | | min | 1658.000-1627.000=31.000 | | max | 1658.000-1627.000=31.000 |
| | mean | 0.395-0.393=0.003 | | σ | 0.009-0.007=0.003 | | min | 0.388-0.388=0.000 | | max | 0.409-0.405=0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1322.865-1324.062=-1.197 | | σ | 0.095-0.111=-0.016 | | min | 1322.814-1323.925=-1.111 | | max | 1323.034-1324.195=-1.161 |
| | mean | 1658.000-1627.000=31.000 | | σ | 0.000 | | min | 1658.000-1627.000=31.000 | | max | 1658.000-1627.000=31.000 |
| | mean | 1.950-1.936=0.015 | | σ | 0.149-0.100=0.049 | | min | 1.824-1.829=-0.006 | | max | 2.145-2.053=0.091 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1561.352-1562.090=-0.738 | | σ | 6.834-6.892=-0.059 | | min | 1558.105-1558.790=-0.685 | | max | 1573.573-1574.414=-0.842 |
| | mean | 1658.000-1627.000=31.000 | | σ | 0.000 | | min | 1658.000-1627.000=31.000 | | max | 1658.000-1627.000=31.000 |
| | mean | 2.375-2.314=0.061 | | σ | 0.219-0.186=0.033 | | min | 2.091-2.060=0.031 | | max | 2.648-2.560=0.088 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1890.787-1891.962=-1.175 | | σ | 0.015-0.058=-0.043 | | min | 1890.769-1891.862=-1.093 | | max | 1890.809-1892.013=-1.204 |
| | mean | 1783.800-1769.600=14.200 | | σ | 158.772-175.688=-16.916 | | min | 1658.000-1627.000=31.000 | | max | 2025.000-2044.000=-19.000 |
| | mean | 2.925-3.043=-0.117 | | σ | 0.095-0.197=-0.103 | | min | 2.874-2.884=-0.010 | | max | 3.094-3.301=-0.207 |
|