While the HTML tables of "Results by Instance/Solver Configuration" show both the time and result status of runs, their CSV export only includes the (unpenalized) time. This means that e.g. a crashed run can't be distinguished from successful runs in the CSV.
While the HTML tables of "Results by Instance/Solver Configuration" show both the time and result status of runs, their CSV export only includes the (unpenalized) time. This means that e.g. a crashed run can't be distinguished from successful runs in the CSV.