/test/regress/regress3/
../
arith_prp-13-24.smt2
bmc-ibm-1.smtv1.smt2
bmc-ibm-2.smtv1.smt2
bmc-ibm-5.smtv1.smt2
bmc-ibm-7.smtv1.smt2
bv_to_int_and_or.smt2
bv_to_int_bench_9839.smt2.minimized.smt2
bv_to_int_check_bvsge_bvashr0_4bit.smt2.minimized.smt2
bv_to_int_check_bvsgt_bvlshr0_4bit.smt2.minimized.smt2
bv_to_int_check_ne_bvlshr0_4bit.smt2.minimized.smt2
bv_to_int_input_mouser_detect.c.smt2.minimized.smt2
bv_to_int_quant1.smt2
bv_to_int_quant2.smt2
eq_diamond14.smtv1.smt2
friedman_n4_i5.smtv1.smt2
friedman_n6_i4.smtv1.smt2
hole9.cvc
incorrect1.smtv1.smt2
issue2429.smt2
issue4170.smt2
issue4714.smt2
pp-regfile.smtv1.smt2
quantifiers
qwh.35.405.shuffled-as.sat03-1651.smtv1.smt2
siegel-nl-bases.smt2
sixfuncs.sy
strings-any-term.sy
strings