iters=5 new-facts=1 prior-facts=1 | | mean | 324.764-324.738=0.026 | | σ | 0.046-0.043=0.003 | | min | 324.683-324.662=0.021 | | max | 324.794-324.763=0.031 |
| | mean | 2834.000-2843.000=-9.000 | | σ | 0.000 | | min | 2834.000-2843.000=-9.000 | | max | 2834.000-2843.000=-9.000 |
| | mean | 0.422-0.426=-0.004 | | σ | 0.001-0.005=-0.003 | | min | 0.421-0.423=-0.002 | | max | 0.424-0.434=-0.010 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.327-1985.322=0.005 | | σ | 0.004-0.014=-0.010 | | min | 1985.322-1985.300=0.022 | | max | 1985.330-1985.335=-0.004 |
| | mean | 2834.000-2843.000=-9.000 | | σ | 0.000 | | min | 2834.000-2843.000=-9.000 | | max | 2834.000-2843.000=-9.000 |
| | mean | 2.691-2.672=0.019 | | σ | 0.176-0.132=0.045 | | min | 2.543-2.520=0.023 | | max | 2.905-2.872=0.033 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4809.078-4809.089=-0.010 | | σ | 7.694-7.736=-0.042 | | min | 4805.584-4805.605=-0.021 | | max | 4822.842-4822.928=-0.086 |
| | mean | 2834.000-2843.000=-9.000 | | σ | 0.000 | | min | 2834.000-2843.000=-9.000 | | max | 2834.000-2843.000=-9.000 |
| | mean | 8.797-8.969=-0.172 | | σ | 0.144-0.487=-0.343 | | min | 8.591-8.245=0.346 | | max | 8.944-9.565=-0.621 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.624-4996.566=0.059 | | σ | 0.021-0.181=-0.160 | | min | 4996.596-4996.247=0.349 | | max | 4996.647-4996.674=-0.027 |
| | mean | 3035.000-3086.000=-51.000 | | σ | 207.434-259.533=-52.099 | | min | 2834.000-2843.000=-9.000 | | max | 3327.000-3358.000=-31.000 |
| | mean | 8.692-9.158=-0.467 | | σ | 0.191-0.551=-0.360 | | min | 8.476-8.528=-0.052 | | max | 8.994-9.899=-0.905 |
|