default
Default CSV-trace file stem when the user hasn't set one. Format: <solverName>_trace when the solver has a name; <kindLabel>_trace otherwise.
Default CSV-trace file stem when the user hasn't set one. Format: <solverName>_trace when the solver has a name; <kindLabel>_trace otherwise.