iters=5 new-facts=1 prior-facts=1 | | mean | 324.707-324.712=-0.005 | | σ | 0.053-0.058=-0.005 | | min | 324.613-324.608=0.005 | | max | 324.735-324.742=-0.007 |
| | mean | 2834.000-2794.000=40.000 | | σ | 0.000 | | min | 2834.000-2794.000=40.000 | | max | 2834.000-2794.000=40.000 |
| | mean | 0.422-0.435=-0.013 | | σ | 0.000-0.011=-0.010 | | min | 0.422-0.423=-0.001 | | max | 0.423-0.447=-0.024 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.262-1985.263=-0.002 | | σ | 0.014-0.011=0.003 | | min | 1985.243-1985.245=-0.002 | | max | 1985.278-1985.273=0.004 |
| | mean | 2834.000-2794.000=40.000 | | σ | 0.000 | | min | 2834.000-2794.000=40.000 | | max | 2834.000-2794.000=40.000 |
| | mean | 2.593-2.574=0.020 | | σ | 0.156-0.044=0.112 | | min | 2.384-2.536=-0.152 | | max | 2.809-2.648=0.161 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.862-4808.778=0.084 | | σ | 7.677-7.739=-0.061 | | min | 4805.402-4804.857=0.545 | | max | 4822.596-4822.612=-0.017 |
| | mean | 2834.000-2794.000=40.000 | | σ | 0.000 | | min | 2834.000-2794.000=40.000 | | max | 2834.000-2794.000=40.000 |
| | mean | 8.934-8.680=0.254 | | σ | 0.120-0.364=-0.245 | | min | 8.829-8.106=0.723 | | max | 9.112-9.061=0.051 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.411-4996.471=-0.060 | | σ | 0.133-0.010=0.124 | | min | 4996.173-4996.462=-0.289 | | max | 4996.480-4996.483=-0.004 |
| | mean | 3089.200-3066.000=23.200 | | σ | 258.605-242.328=16.277 | | min | 2834.000-2794.000=40.000 | | max | 3351.000-3415.000=-64.000 |
| | mean | 8.906-8.663=0.244 | | σ | 0.389-0.165=0.224 | | min | 8.479-8.440=0.039 | | max | 9.491-8.862=0.629 |
|