iters=5 new-facts=1 prior-facts=1 | | mean | 284.697-299.451=-14.754 | | σ | 0.035-0.036=-0.001 | | min | 284.652-299.399=-14.746 | | max | 284.739-299.492=-14.754 |
| | mean | 1451.000-1427.000=24.000 | | σ | 0.000 | | min | 1451.000-1427.000=24.000 | | max | 1451.000-1427.000=24.000 |
| | mean | 0.397-0.388=0.009 | | σ | 0.010-0.006=0.004 | | min | 0.386-0.383=0.003 | | max | 0.405-0.399=0.006 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.089-1309.874=-14.785 | | σ | 0.064-0.086=-0.022 | | min | 1295.011-1309.764=-14.754 | | max | 1295.170-1309.997=-14.828 |
| | mean | 1451.000-1427.000=24.000 | | σ | 0.000 | | min | 1451.000-1427.000=24.000 | | max | 1451.000-1427.000=24.000 |
| | mean | 2.067-1.899=0.169 | | σ | 0.053-0.075=-0.022 | | min | 2.005-1.809=0.197 | | max | 2.140-2.006=0.135 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1539.174-1553.968=-14.794 | | σ | 6.859-6.845=0.013 | | min | 1535.937-1550.681=-14.744 | | max | 1551.439-1566.207=-14.767 |
| | mean | 1451.000-1427.000=24.000 | | σ | 0.000 | | min | 1451.000-1427.000=24.000 | | max | 1451.000-1427.000=24.000 |
| | mean | 2.206-2.257=-0.051 | | σ | 0.170-0.246=-0.076 | | min | 1.969-1.940=0.029 | | max | 2.377-2.612=-0.236 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1856.980-1871.760=-14.780 | | σ | 0.080-0.048=0.031 | | min | 1856.865-1871.699=-14.834 | | max | 1857.067-1871.800=-14.733 |
| | mean | 1746.800-1722.400=24.400 | | σ | 175.252-157.149=18.103 | | min | 1498.000-1525.000=-27.000 | | max | 1908.000-1940.000=-32.000 |
| | mean | 3.126-2.929=0.198 | | σ | 0.253-0.091=0.162 | | min | 2.856-2.849=0.008 | | max | 3.497-3.066=0.431 |
|