/test/regress/regress2/
../
DTP_k2_n35_c175_s15.smt2
FIREFLY_3_e2_2236_e7_3681.ec.minimized.smt2
GEO123+1.minimized.smt2
arith
bug136.smtv1.smt2
bug148.smtv1.smt2
bug349.smtv1.smt2
bug374.smtv1.smt2
bug394.smt2
bug674.smt2
bug765.smt2
bug812.smt2
bv
bv_to_int2.smt2
bv_to_int_5095.smt2
bv_to_int_5095_2.smt2
bv_to_int_ashr.smt2
bv_to_int_bitwise.smt2
bv_to_int_bvmul1.smt2
bv_to_int_bvuf_to_intuf_smtlib.smt2
bv_to_int_inc1.smt2
bv_to_int_mask_array_1.smt2
bv_to_int_mask_array_2.smt2
bv_to_int_mask_array_3.smt2
bv_to_int_shifts.smt2
error0.smt2
error1.smtv1.smt2
fuzz_2.smtv1.smt2
hash_sat_06_19.smt2
hash_sat_07_17.smt2
hash_sat_09_09.smt2
hash_sat_10_09.smt2
ho
hole10.cvc
hole7.cvc
hole8.cvc
instance_1444.smtv1.smt2
issue3687-check-models.smt2
issue4707-bv-to-bool-large.smt2
javafe.ast.StandardPrettyPrint.319_no_forall.smt2
javafe.ast.WhileStmt.447_no_forall.smt2
nl
ooo.rf6.smt2
ooo.tag10.smt2
piVC_5581bd.smt2
push-pop
quantifiers
simplify.javafe.ast.ArrayInit.35_without_quantification2.smt2
strings
sygus
typed_v1l50016-simp.cvc
uflia-error0.smt2
xs-09-16-3-4-1-5.smtv1.smt2