results_smt_comp_2019.md 1.45 KB