/test/regress/regress1/bags/
../
difference_remove1.smt2
disequality.smt2
duplicate_removal1.smt2
duplicate_removal2.smt2
emptybag1.smt2
intersection_min1.smt2
intersection_min2.smt2
issue5759.smt2
subbag1.smt2
subbag2.smt2
union_disjoint.smt2
union_max1.smt2
union_max2.smt2