/test/regress/regress0/quantifiers/
../
ARI176e1.smt2
agg-rew-test-cf.smt2
agg-rew-test.smt2
ari056.smt2
bug269.smt2
bug290.smt2
bug291.smt2
bug749-rounding.smt2
cbqi-lia-dt-simp.smt2
cegqi-nl-simp.cvc
cegqi-nl-sq.smt2
clock-10.smt2
clock-3.smt2
cond-var-elim-binary.smt2
delta-simp.smt2
double-pattern.smt2
ex3.smt2
ex6.smt2
floor.smt2
horn-ground-pre-post.smt2
is-even-pred.smt2
is-int.smt2
issue1805.smt2
issue2031-bv-var-elim.smt2
issue2033-macro-arith.smt2
issue2035.smt2
issue3655.smt2
issue4086-infs.smt2
lra-triv-gn.smt2
macros-int-real.smt2
macros-real-arg.smt2
matching-lia-1arg.smt2
mix-complete-strat.smt2
mix-match.smt2
mix-simp.smt2
nested-delta.smt2
nested-inf.smt2
partial-trigger.smt2
pure_dt_cbqi.smt2
qarray-sel-over-store.smt2
qbv-inequality2.smt2
qbv-multi-lit-uge.smt2
qbv-simp.smt2
qbv-test-invert-bvadd-neq.smt2
qbv-test-invert-bvand-neq.smt2
qbv-test-invert-bvand.smt2
qbv-test-invert-bvashr-0-neq.smt2
qbv-test-invert-bvashr-1-neq.smt2
qbv-test-invert-bvlshr-0-neq.smt2
qbv-test-invert-bvlshr-0.smt2
qbv-test-invert-bvlshr-1-neq.smt2
qbv-test-invert-bvor-neq.smt2
qbv-test-invert-bvor.smt2
qbv-test-invert-bvshl-0-neq.smt2
qbv-test-invert-bvshl-0.smt2
qbv-test-invert-bvult-1.smt2
qbv-test-invert-bvxor-neq.smt2
qbv-test-invert-bvxor.smt2
qbv-test-invert-concat-0-neq.smt2
qbv-test-invert-concat-0.smt2
qbv-test-invert-concat-1-neq.smt2
qbv-test-invert-concat-1.smt2
qbv-test-invert-sign-extend.smt2
qcf-rel-dom-opt.smt2
rew-to-scala.smt2
simp-len.smt2
simp-typ-test.smt2