iters=5 new-facts=1 prior-facts=1 | | mean | 271.952-271.959=-0.007 | | σ | 0.009-0.005=0.003 | | min | 271.940-271.952=-0.013 | | max | 271.964-271.966=-0.002 |
| | mean | 2615.000-2850.000=-235.000 | | σ | 0.000 | | min | 2615.000-2850.000=-235.000 | | max | 2615.000-2850.000=-235.000 |
| | mean | 0.383-0.384=-0.000 | | σ | 0.009-0.006=0.002 | | min | 0.377-0.380=-0.004 | | max | 0.398-0.395=0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.318-1932.318=0.000 | | σ | 0.010-0.018=-0.008 | | min | 1932.305-1932.289=0.016 | | max | 1932.331-1932.339=-0.008 |
| | mean | 2615.000-2850.000=-235.000 | | σ | 0.000 | | min | 2615.000-2850.000=-235.000 | | max | 2615.000-2850.000=-235.000 |
| | mean | 3.002-3.011=-0.008 | | σ | 0.115-0.203=-0.088 | | min | 2.805-2.737=0.068 | | max | 3.101-3.275=-0.174 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.097-4753.050=0.046 | | σ | 0.858-0.934=-0.076 | | min | 4752.671-4752.588=0.083 | | max | 4754.630-4754.719=-0.089 |
| | mean | 2615.000-2850.000=-235.000 | | σ | 0.000 | | min | 2615.000-2850.000=-235.000 | | max | 2615.000-2850.000=-235.000 |
| | mean | 8.518-8.744=-0.227 | | σ | 0.188-0.448=-0.260 | | min | 8.266-8.029=0.237 | | max | 8.751-9.090=-0.340 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.560-4943.416=0.143 | | σ | 0.019-0.198=-0.179 | | min | 4943.534-4943.185=0.349 | | max | 4943.577-4943.575=0.002 |
| | mean | 3020.200-3020.800=-0.600 | | σ | 290.607-191.419=99.189 | | min | 2619.000-2850.000=-231.000 | | max | 3349.000-3316.000=33.000 |
| | mean | 8.562-8.499=0.064 | | σ | 0.200-0.094=0.107 | | min | 8.373-8.395=-0.022 | | max | 8.818-8.589=0.229 |
|