/test/regress/regress0/
../
Makefile
Makefile.am
arith
arr1.smt
arr1.smt2
arr2.smt
arrays
aufbv
auflia
boolean-prec.cvc
boolean.cvc
bug161.smt
bug164.smt
bug167.smt
bug168.smt
bug187.smt2
bug2.smt
bug216.smt2
bug216.smt2.expect
bug220.smt2
bug239.smt
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
bug49.smt
buggy-ite.smt2
bv
cvc3-bug15.cvc
datatypes
decision
distinct.smt
error.cvc
flet.smt
flet2.smt
fuzz_1.smt
fuzz_3.smt
get-value-incremental.smt2
hole6.cvc
ineq_basic.smt
ineq_slack.smt
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
parallel-let.smt2
precedence
preprocess
push-pop
quantifiers
queries0.cvc
rewriterules
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
simple.smt2
simple2.smt
simplification_bug.smt
simplification_bug2.smt
simplification_bug3.cvc
simplification_bug4.smt2
simplification_bug4.smt2.expect
smallcnf.cvc
subranges.cvc
symmetric.smt
test11.cvc
test12.cvc
test9.cvc
tptp_parser.p
tptp_parser10.p
tptp_parser2.p
tptp_parser3.p
tptp_parser4.p
tptp_parser5.p
tptp_parser6.p
tptp_parser7.p
tptp_parser8.p
tptp_parser9.p
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