/test/regress/regress0/uflia/

• ../
• check01.smt2
• check02.smt2
• check03.smt2
• check04.smt2
• diseqprop.01.smtv1.smt2
• diseqprop.02.smtv1.smt2
• diseqprop.03.smtv1.smt2
• diseqprop.04.smtv1.smt2
• diseqprop.05.smtv1.smt2
• diseqprop.06.smtv1.smt2
• error0.delta01.smtv1.smt2
• error30.smtv1.smt2
• stalmark_e7_27_e7_31.ec.minimized.smt2
• tiny.smt2
• xs-09-16-3-4-1-5.delta01.smtv1.smt2
• xs-09-16-3-4-1-5.delta02.smtv1.smt2
• xs-09-16-3-4-1-5.delta03.smtv1.smt2
• xs-09-16-3-4-1-5.delta04.smtv1.smt2
• xs-09-16-3-4-1-5.delta05.smtv1.smt2