/test/regress/regress0/rels/
../
addr_book_0.cvc
atom_univ2.cvc
card_transpose.cvc
iden_0.cvc
iden_1.cvc
join-eq-u-sat.cvc
join-eq-u.cvc
joinImg_0.cvc
oneLoc_no_quant-int_0_1.cvc
rel_1tup_0.cvc
rel_complex_0.cvc
rel_complex_1.cvc
rel_conflict_0.cvc
rel_join_0.cvc
rel_join_0_1.cvc
rel_join_1.cvc
rel_join_1_1.cvc
rel_join_2.cvc
rel_join_2_1.cvc
rel_join_3.cvc
rel_join_3_1.cvc
rel_join_4.cvc
rel_join_5.cvc
rel_join_6.cvc
rel_join_7.cvc
rel_product_0.cvc
rel_product_0_1.cvc
rel_product_1.cvc
rel_product_1_1.cvc
rel_symbolic_1.cvc
rel_symbolic_1_1.cvc
rel_symbolic_2_1.cvc
rel_symbolic_3_1.cvc
rel_tc_11.cvc
rel_tc_2_1.cvc
rel_tc_3.cvc
rel_tc_3_1.cvc
rel_tc_7.cvc
rel_tc_8.cvc
rel_tp_3_1.cvc
rel_tp_join_0.cvc
rel_tp_join_1.cvc
rel_tp_join_2.cvc
rel_tp_join_3.cvc
rel_tp_join_eq_0.cvc
rel_tp_join_int_0.cvc
rel_tp_join_pro_0.cvc
rel_tp_join_var_0.cvc
rel_transpose_0.cvc
rel_transpose_1.cvc
rel_transpose_1_1.cvc
rel_transpose_3.cvc
rel_transpose_4.cvc
rel_transpose_5.cvc
rel_transpose_6.cvc
rel_transpose_7.cvc
relations-ops.smt2
rels-sharing-simp.cvc