Output SMT command traces to files