iters=5 new-facts=1 prior-facts=1 | | mean | 271.953-271.954=-0.001 | | σ | 0.006-0.008=-0.001 | | min | 271.944-271.946=-0.001 | | max | 271.959-271.961=-0.002 |
| | mean | 2761.000-2700.000=61.000 | | σ | 0.000 | | min | 2761.000-2700.000=61.000 | | max | 2761.000-2700.000=61.000 |
| | mean | 0.381-0.385=-0.003 | | σ | 0.006-0.008=-0.002 | | min | 0.377-0.380=-0.003 | | max | 0.392-0.398=-0.007 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.317-1932.337=-0.020 | | σ | 0.006-0.013=-0.007 | | min | 1932.307-1932.322=-0.015 | | max | 1932.324-1932.356=-0.032 |
| | mean | 2761.000-2700.000=61.000 | | σ | 0.000 | | min | 2761.000-2700.000=61.000 | | max | 2761.000-2700.000=61.000 |
| | mean | 3.039-2.994=0.045 | | σ | 0.120-0.187=-0.067 | | min | 2.938-2.671=0.267 | | max | 3.247-3.149=0.098 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.058-4752.969=0.090 | | σ | 0.931-0.975=-0.043 | | min | 4752.596-4752.186=0.410 | | max | 4754.722-4754.660=0.062 |
| | mean | 2761.000-2700.000=61.000 | | σ | 0.000 | | min | 2761.000-2700.000=61.000 | | max | 2761.000-2700.000=61.000 |
| | mean | 8.701-8.669=0.033 | | σ | 0.483-0.502=-0.019 | | min | 7.934-8.164=-0.229 | | max | 9.083-9.290=-0.207 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.419-4943.560=-0.142 | | σ | 0.196-0.023=0.173 | | min | 4943.193-4943.534=-0.341 | | max | 4943.574-4943.595=-0.021 |
| | mean | 2995.000-3032.600=-37.600 | | σ | 224.071-343.955=-119.884 | | min | 2761.000-2700.000=61.000 | | max | 3319.000-3513.000=-194.000 |
| | mean | 8.549-8.622=-0.073 | | σ | 0.056-0.326=-0.270 | | min | 8.455-8.381=0.074 | | max | 8.599-9.181=-0.582 |
|