updated the output of smt-model test