/test/regress/regress1/
../
arith
arrayinuf_error.smt2
aufbv
auflia
boolean-terms-kernel2.smt2
boolean.cvc
bug216.smt2
bug216.smt2.expect
bug296.smt2
bug425.cvc
bug472.smt2
bug507.smt2
bug512.smt2
bug516.smt2
bug519.smt2
bug520.smt2
bug521.smt2
bug543.smt2
bug567.smt2
bug585.cvc
bug590.smt2
bug590.smt2.expect
bug593.smt2
bug681.smt2
bug694-Unapply1.scala-0.smt2
bug800.smt2
bv
bvdiv2.smt2
constarr3.cvc
constarr3.smt2
crash_burn_locusts.smt2
datatypes
decision
error.cvc
errorcrash.smt2
fmf-fun-dbu.smt2
fmf
gensys_brn001.smt2
ho
hole6.cvc
issue1048-arrays-int-real.smt2
ite5.smt2
lemmas
nl
non-fatal-errors.smt2
parsing_ringer.cvc
proof00.smt2
push-pop
quantifiers
rels
rewriterules
sep
sets
simple-rdl-definefun.smt2
simplification_bug4.smt2
simplification_bug4.smt2.expect
sqrt2-sort-inf-unk.smt2
strings
sygus
sym
test12.cvc
trim.cvc
uf2.smt2
uflia