demo.aig
demo.aim
demo.aiw
demo.smt2
demo.vcd