iters=5 new-facts=1 prior-facts=1 | | mean | 324.764-324.765=-0.001 | | σ | 0.046-0.045=0.001 | | min | 324.683-324.684=-0.002 | | max | 324.794-324.792=0.001 |
| | mean | 2834.000-2841.000=-7.000 | | σ | 0.000 | | min | 2834.000-2841.000=-7.000 | | max | 2834.000-2841.000=-7.000 |
| | mean | 0.422-0.416=0.006 | | σ | 0.001-0.001=0.000 | | min | 0.421-0.415=0.006 | | max | 0.424-0.418=0.006 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.327-1985.317=0.010 | | σ | 0.004-0.016=-0.013 | | min | 1985.322-1985.287=0.035 | | max | 1985.330-1985.326=0.005 |
| | mean | 2834.000-2841.000=-7.000 | | σ | 0.000 | | min | 2834.000-2841.000=-7.000 | | max | 2834.000-2841.000=-7.000 |
| | mean | 2.691-2.742=-0.051 | | σ | 0.176-0.142=0.035 | | min | 2.543-2.599=-0.056 | | max | 2.905-2.949=-0.045 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4809.078-4809.105=-0.026 | | σ | 7.694-7.648=0.047 | | min | 4805.584-4805.580=0.004 | | max | 4822.842-4822.784=0.058 |
| | mean | 2834.000-2841.000=-7.000 | | σ | 0.000 | | min | 2834.000-2841.000=-7.000 | | max | 2834.000-2841.000=-7.000 |
| | mean | 8.797-8.824=-0.026 | | σ | 0.144-0.314=-0.170 | | min | 8.591-8.477=0.114 | | max | 8.944-9.194=-0.249 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.624-4996.631=-0.006 | | σ | 0.021-0.020=0.001 | | min | 4996.596-4996.610=-0.014 | | max | 4996.647-4996.660=-0.014 |
| | mean | 3035.000-3078.800=-43.800 | | σ | 207.434-255.919=-48.485 | | min | 2834.000-2841.000=-7.000 | | max | 3327.000-3348.000=-21.000 |
| | mean | 8.692-8.720=-0.028 | | σ | 0.191-0.125=0.065 | | min | 8.476-8.527=-0.051 | | max | 8.994-8.827=0.167 |
|