Log output and SMT command traces