1 2 3 4 5 6 7 8
tracecmp.smt2 tracecmp.yslog notrap_validop.smt2 notrap_validop.yslog mulcmp.smt2 mulcmp.yslog output.vcd output.smtc