Report wall-clock/cpu-time per instance / per configuration #28
Description
We print this information in the output but we do not record it. We should record it and print it as part of the report.
{{ message }}
We print this information in the output but we do not record it. We should record it and print it as part of the report.