/test/regress/regress1/
../
arith
arrayinuf_error.smt2
aufbv
auflia
boolean-terms-kernel2.smt2
boolean.cvc
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
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
issue3970-nl-ext-purify.smt2
issue3990-sort-inference.smt2
ite5.smt2
lemmas
model-blocker-simple.smt2
model-blocker-values.smt2
nl
non-fatal-errors.smt2
parsing_ringer.cvc
proof00.smt2
push-pop
quantifiers
rels
rr-verify
sep
sets
simple-rdl-definefun.smt2
simplification_bug4.smt2
sqrt2-sort-inf-unk.smt2
strings
sygus-abduct-ex1-grammar.smt2
sygus-abduct-test-ccore.smt2
sygus-abduct-test-user.smt2
sygus-abduct-test.smt2
sygus
sym
test12.cvc
trim.cvc
uf2.smt2
uflia
wrong-qfabvfp-smtcomp2018.smt2