/test/regress/regress0/arrays/
../
arrays0.smt2
arrays1.smt2
arrays2.smt2
arrays3.smt2
arrays4.smt2
bool-array.smt2
bug272.minimized.smtv1.smt2
bug272.smtv1.smt2
bug3020.smt2
bug637.delta.smt2
constarr.cvc
constarr.smt2
constarr2.cvc
constarr2.smt2
incorrect1.smtv1.smt2
incorrect10.smtv1.smt2
incorrect11.smtv1.smt2
incorrect2.minimized.smtv1.smt2
incorrect2.smtv1.smt2
incorrect3.smtv1.smt2
incorrect4.smtv1.smt2
incorrect5.smtv1.smt2
incorrect6.smtv1.smt2
incorrect7.smtv1.smt2
incorrect8.minimized.smtv1.smt2
incorrect8.smtv1.smt2
incorrect9.smtv1.smt2
swap_t1_np_nf_ai_00005_007.cvc.smtv1.smt2
x2.smtv1.smt2
x3.smtv1.smt2