iters=5 new-facts=1 prior-facts=1 | | mean | 301.480-301.484=-0.004 | | σ | 0.041-0.044=-0.003 | | min | 301.419-301.418=0.001 | | max | 301.521-301.538=-0.017 |
| | mean | 1451.000-1513.000=-62.000 | | σ | 0.000 | | min | 1451.000-1513.000=-62.000 | | max | 1451.000-1513.000=-62.000 |
| | mean | 0.391-0.394=-0.002 | | σ | 0.006-0.007=-0.000 | | min | 0.387-0.387=-0.001 | | max | 0.402-0.401=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1324.078-1324.056=0.022 | | σ | 0.118-0.108=0.009 | | min | 1323.927-1323.924=0.003 | | max | 1324.252-1324.200=0.052 |
| | mean | 1451.000-1513.000=-62.000 | | σ | 0.000 | | min | 1451.000-1513.000=-62.000 | | max | 1451.000-1513.000=-62.000 |
| | mean | 2.070-1.938=0.132 | | σ | 0.256-0.105=0.152 | | min | 1.824-1.834=-0.010 | | max | 2.362-2.058=0.304 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1562.146-1562.063=0.084 | | σ | 6.851-6.909=-0.058 | | min | 1558.911-1558.737=0.174 | | max | 1574.400-1574.417=-0.017 |
| | mean | 1451.000-1513.000=-62.000 | | σ | 0.000 | | min | 1451.000-1513.000=-62.000 | | max | 1451.000-1513.000=-62.000 |
| | mean | 2.327-2.248=0.079 | | σ | 0.131-0.220=-0.089 | | min | 2.169-2.085=0.085 | | max | 2.523-2.633=-0.110 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1891.971-1891.969=0.002 | | σ | 0.064-0.065=-0.001 | | min | 1891.859-1891.856=0.004 | | max | 1892.015-1892.014=0.001 |
| | mean | 1719.400-1733.800=-14.400 | | σ | 230.315-213.328=16.987 | | min | 1451.000-1513.000=-62.000 | | max | 2018.000-2042.000=-24.000 |
| | mean | 2.896-3.008=-0.112 | | σ | 0.078-0.195=-0.118 | | min | 2.820-2.866=-0.046 | | max | 3.024-3.333=-0.309 |
|