/test/regress/regress1/rels/
../
addr_book_1.cvc
addr_book_1_1.cvc
bv1-unit.cvc
bv1-unitb.cvc
bv1.cvc
bv1p-sat.cvc
bv1p.cvc
bv2.cvc
garbage_collect.cvc
iden_1_1.cvc
join-eq-structure-and.cvc
join-eq-structure.cvc
joinImg_0_1.cvc
joinImg_0_2.cvc
joinImg_1.cvc
joinImg_1_1.cvc
joinImg_2.cvc
joinImg_2_1.cvc
prod-mod-eq.cvc
prod-mod-eq2.cvc
rel_complex_3.cvc
rel_complex_4.cvc
rel_complex_5.cvc
rel_mix_0_1.cvc
rel_pressure_0.cvc
rel_tc_10_1.cvc
rel_tc_4.cvc
rel_tc_4_1.cvc
rel_tc_5_1.cvc
rel_tc_6.cvc
rel_tc_9_1.cvc
rel_tp_2.cvc
rel_tp_join_2_1.cvc
set-strat.cvc
strat.cvc