iters=5 new-facts=1 prior-facts=1 | | mean | 301.480-301.483=-0.002 | | σ | 0.047-0.052=-0.005 | | min | 301.410-301.403=0.007 | | max | 301.532-301.531=0.001 |
| | mean | 1661.000-1678.000=-17.000 | | σ | 0.000 | | min | 1661.000-1678.000=-17.000 | | max | 1661.000-1678.000=-17.000 |
| | mean | 0.391-0.400=-0.009 | | σ | 0.002-0.006=-0.004 | | min | 0.387-0.392=-0.005 | | max | 0.392-0.405=-0.012 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1324.044-1324.055=-0.010 | | σ | 0.095-0.111=-0.016 | | min | 1323.927-1323.922=0.005 | | max | 1324.184-1324.196=-0.012 |
| | mean | 1661.000-1678.000=-17.000 | | σ | 0.000 | | min | 1661.000-1678.000=-17.000 | | max | 1661.000-1678.000=-17.000 |
| | mean | 1.911-1.902=0.009 | | σ | 0.048-0.080=-0.031 | | min | 1.860-1.825=0.035 | | max | 1.992-2.025=-0.033 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1562.073-1562.077=-0.004 | | σ | 6.906-6.918=-0.012 | | min | 1558.760-1558.769=-0.009 | | max | 1574.421-1574.446=-0.025 |
| | mean | 1661.000-1678.000=-17.000 | | σ | 0.000 | | min | 1661.000-1678.000=-17.000 | | max | 1661.000-1678.000=-17.000 |
| | mean | 2.292-2.279=0.013 | | σ | 0.201-0.228=-0.027 | | min | 2.046-2.127=-0.081 | | max | 2.592-2.667=-0.075 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1891.983-1891.983=-0.000 | | σ | 0.083-0.075=0.008 | | min | 1891.837-1891.851=-0.014 | | max | 1892.042-1892.033=0.009 |
| | mean | 1802.600-1785.000=17.600 | | σ | 109.500-105.010=4.491 | | min | 1661.000-1678.000=-17.000 | | max | 1945.000-1957.000=-12.000 |
| | mean | 2.987-3.021=-0.034 | | σ | 0.209-0.146=0.063 | | min | 2.806-2.867=-0.062 | | max | 3.318-3.198=0.120 |
|