/test/regress/regress4/

• ../
• C880mul.miter.shuffled-as.sat03-348.smtv1.smt2
• NEQ016_size5.smtv1.smt2
• bug143.smtv1.smt2
• bug337.smt2
• bug396.smt2
• comb2.shuffled-as.sat03-420.smtv1.smt2
• fischer3-mutex-16.smtv1.smt2
• instance_1151.smtv1.smt2
• issue2429.smt2
• miplib-pp08a-3000.smt2
• miplib-pp08a-3000.smtv1.smt2
• pp-regfile.smtv1.smt2
• sets-card-neg-mem-union-2.smt2
• siegel-nl-bases.smt2
• unsat-circ-reduce.smt2
• xs-11-20-5-2-5-3.smt2
• xs-11-20-5-2-5-3.smtv1.smt2