tracecmp.smt2
tracecmp.vcd
tracecmp.yslog