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