/test/regress/regress0/
../
Makefile
Makefile.am
arith
arr1.smt
arr1.smt2
arr2.smt
arrayinuf_declare.smt2
arrayinuf_error.smt2
arrays
aufbv
auflia
boolean-prec.cvc
boolean-terms-bug-array.smt2
boolean-terms-kernel1.smt2
boolean-terms-kernel2.smt2
boolean-terms.cvc
boolean.cvc
bug161.smt
bug164.smt
bug167.smt
bug168.smt
bug187.smt2
bug2.smt
bug216.smt2
bug216.smt2.expect
bug217.smt2
bug220.smt2
bug239.smt
bug274.cvc
bug288.smt
bug288b.smt
bug288c.smt
bug296.smt2
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
bug425.cvc
bug472.smt2
bug480.smt2
bug484.smt2
bug486.cvc
bug49.smt
bug507.smt2
bug512.minimized.smt2
bug512.smt2
bug516.smt2
bug519.smt2
bug520.smt2
bug521.minimized.smt2
bug521.smt2
bug522.smt2
bug528a.smt2
bug541.smt2
bug543.smt2
bug544.smt2
bug548a.smt2
bug567.smt2
bug576.smt2
bug576a.smt2
bug578.smt2
bug585.cvc
bug586.cvc
bug590.smt2
bug590.smt2.expect
bug595.cvc
bug596.cvc
bug596b.cvc
buggy-ite.smt2
bv
chained-equality.smt2
constant-rewrite.smt
crash_burn_locusts.smt2
cvc3-bug15.cvc
datatypes
decision
distinct.smt
error.cvc
errorcrash.smt2
flet.smt
flet2.smt
fmf
fuzz_1.smt
fuzz_3.smt
get-value-incremental.smt2
hole6.cvc
hung10_itesdk_output1.smt2
hung10_itesdk_output2.smt2
hung13sdk_output1.smt2
hung13sdk_output2.smt2
incorrect1.smt
ineq_basic.smt
ineq_slack.smt
ite.cvc
ite.smt2
ite2.smt2
ite3.smt2
ite4.smt2
ite5.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
parallel-let.smt2
parser
precedence
preprocess
print_lambda.cvc
push-pop
quantifiers
queries0.cvc
rewriterules
sets
simple-lra.smt
simple-lra.smt2
simple-rdl-definefun.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
simplification_bug4.smt2
simplification_bug4.smt2.expect
smallcnf.cvc
smt2output.smt2
strings
subranges.cvc
symmetric.smt
test11.cvc
test12.cvc
test9.cvc
tptp
trim.cvc
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