/test/regress/regress1/sets/
../
ListElem.hs.fqout.cvc4.38.smt2
ListElts.hs.fqout.cvc4.317.smt2
TalkingAboutSets.hs.fqout.cvc4.3577.smt2
UniqueZipper.hs.1030minimized.cvc4.smt2
UniqueZipper.hs.1030minimized2.cvc4.smt2
UniqueZipper.hs.fqout.cvc4.10.smt2
UniqueZipper.hs.fqout.cvc4.1832.smt2
arjun-set-univ.cvc
card-3.smt2
card-4.smt2
card-5.smt2
card-6.smt2
card-7.smt2
card-vc6-minimized.smt2
choose.cvc
choose1.smt2
choose2.smt2
choose3.smt2
choose4.smt2
comp-intersect.smt2
comp-odd.smt2
comp-pos-member.smt2
comp-positive.smt2
copy_check_heap_access_33_4.smt2
deepmeas0.hs.fqout.cvc4.41.smt2
finite-type
fuzz14418.smt2
fuzz15201.smt2
fuzz31811.smt2
infinite-type
insert_invariant_37_2.smt2
issue2568.smt2
issue2904.smt2
issue4391-card-lasso.smt2
lemmabug-ListElts317minimized.smt2
remove_check_free_31_6.smt2
set-comp-sat.smt2
setofsets-disequal.smt2
sets-disequal.smt2
sets-tuple-poly.cvc
sharingbug.smt2
univ-set-uf-elim.smt2