/test/regress/regress0/
../
Makefile
Makefile.am
arith
arr1.smt
arr1.smt2
arr2.smt
arrays
aufbv
auflia
boolean-prec.cvc
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
bug411.smt2
bug421.smt2
bug421b.smt2
bug425.cvc
bug472.smt2
bug480.smt2
bug484.smt2
bug486.cvc
bug49.smt
bug497.cvc
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
hung10_itesdk_output1.smt2
hung10_itesdk_output2.smt2
hung13sdk_output1.smt2
hung13sdk_output2.smt2
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
print_lambda.cvc
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
smt2output.smt2
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