iters=5 new-facts=1 prior-facts=1 | | mean | 300.695-324.705=-24.010 | | σ | 0.028-0.056=-0.028 | | min | 300.652-324.606=-23.954 | | max | 300.724-324.738=-24.015 |
| | mean | 1632.000-2839.000=-1207.000 | | σ | 0.000 | | min | 1632.000-2839.000=-1207.000 | | max | 1632.000-2839.000=-1207.000 |
| | mean | 0.395-0.424=-0.029 | | σ | 0.009-0.002=0.007 | | min | 0.389-0.421=-0.032 | | max | 0.410-0.426=-0.016 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1322.876-1985.258=-662.382 | | σ | 0.095-0.020=0.075 | | min | 1322.797-1985.231=-662.434 | | max | 1323.028-1985.277=-662.249 |
| | mean | 1632.000-2839.000=-1207.000 | | σ | 0.000 | | min | 1632.000-2839.000=-1207.000 | | max | 1632.000-2839.000=-1207.000 |
| | mean | 1.922-2.625=-0.703 | | σ | 0.077-0.091=-0.014 | | min | 1.828-2.534=-0.706 | | max | 2.028-2.765=-0.737 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1561.314-4808.864=-3247.551 | | σ | 6.879-7.642=-0.762 | | min | 1557.964-4805.371=-3247.407 | | max | 1573.612-4822.534=-3248.922 |
| | mean | 1632.000-2839.000=-1207.000 | | σ | 0.000 | | min | 1632.000-2839.000=-1207.000 | | max | 1632.000-2839.000=-1207.000 |
| | mean | 2.316-8.695=-6.379 | | σ | 0.293-0.188=0.104 | | min | 2.037-8.494=-6.457 | | max | 2.643-8.894=-6.251 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1890.797-4996.458=-3105.661 | | σ | 0.014-0.019=-0.005 | | min | 1890.784-4996.429=-3105.645 | | max | 1890.819-4996.481=-3105.662 |
| | mean | 1782.800-3070.200=-1287.400 | | σ | 117.946-303.047=-185.102 | | min | 1632.000-2839.000=-1207.000 | | max | 1954.000-3535.000=-1581.000 |
| | mean | 2.974-8.536=-5.562 | | σ | 0.113-0.124=-0.010 | | min | 2.849-8.427=-5.578 | | max | 3.127-8.672=-5.545 |
|