iters=5 new-facts=1 prior-facts=1 | | mean | 271.757-271.753=0.005 | | σ | 0.005-0.005=0.001 | | min | 271.751-271.747=0.003 | | max | 271.764-271.760=0.004 |
| | mean | 2846.000-2766.000=80.000 | | σ | 0.000 | | min | 2846.000-2766.000=80.000 | | max | 2846.000-2766.000=80.000 |
| | mean | 0.380-0.378=0.002 | | σ | 0.006-0.002=0.004 | | min | 0.375-0.375=0.000 | | max | 0.391-0.381=0.010 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.176-1932.179=-0.002 | | σ | 0.006-0.011=-0.005 | | min | 1932.167-1932.165=0.002 | | max | 1932.182-1932.196=-0.013 |
| | mean | 2846.000-2766.000=80.000 | | σ | 0.000 | | min | 2846.000-2766.000=80.000 | | max | 2846.000-2766.000=80.000 |
| | mean | 3.065-2.982=0.083 | | σ | 0.104-0.186=-0.082 | | min | 2.968-2.764=0.204 | | max | 3.197-3.266=-0.069 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.944-4752.913=0.031 | | σ | 0.896-0.849=0.047 | | min | 4752.375-4752.414=-0.038 | | max | 4754.536-4754.421=0.116 |
| | mean | 2846.000-2766.000=80.000 | | σ | 0.000 | | min | 2846.000-2766.000=80.000 | | max | 2846.000-2766.000=80.000 |
| | mean | 8.383-8.441=-0.058 | | σ | 0.379-0.518=-0.140 | | min | 8.048-7.610=0.437 | | max | 9.034-8.947=0.088 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.376-4943.381=-0.005 | | σ | 0.021-0.015=0.007 | | min | 4943.346-4943.361=-0.015 | | max | 4943.396-4943.396=-0.001 |
| | mean | 3061.600-3046.600=15.000 | | σ | 231.380-242.591=-11.211 | | min | 2846.000-2766.000=80.000 | | max | 3404.000-3395.000=9.000 |
| | mean | 8.699-8.807=-0.108 | | σ | 0.176-0.254=-0.079 | | min | 8.486-8.468=0.018 | | max | 8.968-9.181=-0.213 |
|