/test/regress/regress0/sets/
../
abt-min.smt2
abt-te-exh.smt2
abt-te-exh2.smt2
card-2.smt2
card-3sets.cvc
card.smt2
card3-ground.smt2
comp-qf-error.smt2
complement.cvc
complement2.cvc
complement3.cvc
cvc-sample.cvc
dt-simp-mem.smt2
emptyset.smt2
eqtest.smt2
error1.smt2
error2.smt2
insert.smt2
int-real-univ-unsat.smt2
int-real-univ.smt2
jan24
jan27
jan28
jan30
mar2014
nonvar-univ.smt2
pre-proc-univ.smt2
rec_copy_loop_check_heap_access_43_4.smt2
setel-eq.smt2
sets-equal.smt2
sets-extr.smt2
sets-inter.smt2
sets-new.smt2
sets-of-sets-subtypes.smt2
sets-poly-int-real.smt2
sets-poly-nonint.smt2
sets-sample.smt2
sets-sharing.smt2
sets-testlemma-ints.smt2
sets-testlemma-reals.smt2
sets-testlemma.smt2
sets-union.smt2
sharing-simp.smt2
union-1a-flip.smt2
union-1a.smt2
union-1b-flip.smt2
union-1b.smt2
union-2.smt2
univset-simp.smt2