/test/regress/regress0/
../
Makefile
Makefile.am
arith
arr1.smt
arr1.smt2
arr2.smt
arrayinuf_declare.smt2
arrays
aufbv
auflia
boolean-prec.cvc
boolean-terms-bug-array.smt2
boolean-terms-kernel1.smt2
boolean-terms.cvc
bt-test-00.smt2
bt-test-01.smt2
bug1247.smt2
bug161.smt
bug164.smt
bug167.smt
bug168.smt
bug187.smt2
bug2.smt
bug217.smt2
bug220.smt2
bug239.smt
bug274.cvc
bug288.smt
bug288b.smt
bug288c.smt
bug303.smt2
bug310.cvc
bug32.cvc
bug322.cvc
bug322b.cvc
bug339.smt2
bug365.smt2
bug374.delta01.smt
bug374.smt
bug382.smt2
bug383.smt2
bug398.smt2
bug421.smt2
bug421b.smt2
bug480.smt2
bug484.smt2
bug486.cvc
bug49.smt
bug512.minimized.smt2
bug521.minimized.smt2
bug522.smt2
bug528a.smt2
bug541.smt2
bug544.smt2
bug548a.smt2
bug576.smt2
bug576a.smt2
bug578.smt2
bug586.cvc
bug595.cvc
bug596.cvc
bug596b.cvc
bug605.cvc
bug639.smt2
buggy-ite.smt2
bv
chained-equality.smt2
constant-rewrite.smt
cvc3-bug15.cvc
cvc3.userdoc.01.cvc
cvc3.userdoc.02.cvc
cvc3.userdoc.03.cvc
cvc3.userdoc.04.cvc
cvc3.userdoc.05.cvc
cvc3.userdoc.06.cvc
datatypes
decision
declare-fun-is-match.smt2
declare-funs.smt2
distinct.smt
expect
flet.smt
flet2.smt
fmf
fuzz_1.smt
fuzz_3.smt
get-value-incremental.smt2
get-value-ints.smt2
get-value-reals-ints.smt2
get-value-reals.smt2
ho
hung10_itesdk_output1.smt2
hung10_itesdk_output2.smt2
hung13sdk_output1.smt2
hung13sdk_output2.smt2
incorrect1.smt
ineq_basic.smt
ineq_slack.smt
issue1063-overloading-dt-cons.smt2
issue1063-overloading-dt-fun.smt2
issue1063-overloading-dt-sel.smt2
ite.cvc
ite.smt2
ite2.smt2
ite3.smt2
ite4.smt2
ite_arith.smt2
ite_real_int_type.smt
ite_real_valid.smt
lemmas
let.cvc
let.smt
let2.smt
logops.01.cvc
logops.02.cvc
logops.03.cvc
logops.04.cvc
logops.05.cvc
nl
parallel-let.smt2
parser
precedence
preprocess
print_lambda.cvc
push-pop
quantifiers
queries0.cvc
rec-fun-const-parse-bug.smt2
rels
reset-assertions.smt2
rewriterules
sep
sets
simple-lra.smt
simple-lra.smt2
simple-rdl.smt
simple-rdl.smt2
simple-uf.smt
simple-uf.smt2
simple.cvc
simple.smt
simple2.smt
simplification_bug.smt
simplification_bug2.smt
smallcnf.cvc
smt2output.smt2
strings
sygus
symmetric.smt
test11.cvc
test9.cvc
tptp
uf
uf20-03.cvc
uflia
uflra
unconstrained
wiki.01.cvc
wiki.02.cvc
wiki.03.cvc
wiki.04.cvc
wiki.05.cvc
wiki.06.cvc
wiki.07.cvc
wiki.08.cvc
wiki.09.cvc
wiki.10.cvc
wiki.11.cvc
wiki.12.cvc
wiki.13.cvc
wiki.14.cvc
wiki.15.cvc
wiki.16.cvc
wiki.17.cvc
wiki.18.cvc
wiki.19.cvc
wiki.20.cvc
wiki.21.cvc