/test/regress/regress0/
../
Makefile
Makefile.am
arith
arr1.smt
arr1.smt2
arr2.smt
arrays
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
bug32.cvc
bug49.smt
buggy-ite.smt2
bv
cvc3-bug15.cvc
datatypes
distinct.smt
error.cvc
flet.smt
flet2.smt
fuzz_1.smt
fuzz_3.smt
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
precedence
preprocess
push-pop
queries0.cvc
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
smallcnf.cvc
subranges.cvc
symmetric.smt
test11.cvc
test12.cvc
test9.cvc
uf
uf20-03.cvc
uflra
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