iters=5 new-facts=1 prior-facts=1 | | mean | 324.703-324.706=-0.003 | | σ | 0.030-0.048=-0.018 | | min | 324.651-324.621=0.029 | | max | 324.724-324.740=-0.015 |
| | mean | 2833.000-2840.000=-7.000 | | σ | 0.000 | | min | 2833.000-2840.000=-7.000 | | max | 2833.000-2840.000=-7.000 |
| | mean | 0.423-0.426=-0.003 | | σ | 0.002-0.006=-0.004 | | min | 0.421-0.422=-0.001 | | max | 0.426-0.436=-0.010 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.248-1985.270=-0.022 | | σ | 0.014-0.007=0.007 | | min | 1985.230-1985.259=-0.029 | | max | 1985.264-1985.277=-0.013 |
| | mean | 2833.000-2840.000=-7.000 | | σ | 0.000 | | min | 2833.000-2840.000=-7.000 | | max | 2833.000-2840.000=-7.000 |
| | mean | 2.614-2.596=0.019 | | σ | 0.119-0.058=0.061 | | min | 2.513-2.543=-0.030 | | max | 2.785-2.669=0.116 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.877-4808.911=-0.034 | | σ | 7.649-7.708=-0.059 | | min | 4805.340-4805.357=-0.017 | | max | 4822.559-4822.698=-0.140 |
| | mean | 2833.000-2840.000=-7.000 | | σ | 0.000 | | min | 2833.000-2840.000=-7.000 | | max | 2833.000-2840.000=-7.000 |
| | mean | 8.640-8.833=-0.193 | | σ | 0.546-0.627=-0.081 | | min | 7.710-7.771=-0.062 | | max | 9.081-9.353=-0.271 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.438-4996.463=-0.025 | | σ | 0.016-0.021=-0.005 | | min | 4996.417-4996.440=-0.023 | | max | 4996.460-4996.482=-0.022 |
| | mean | 3060.800-3054.600=6.200 | | σ | 298.361-201.676=96.685 | | min | 2833.000-2840.000=-7.000 | | max | 3519.000-3350.000=169.000 |
| | mean | 8.472-8.706=-0.235 | | σ | 0.125-0.237=-0.113 | | min | 8.350-8.475=-0.125 | | max | 8.675-9.071=-0.395 |
|