Index of /s/sys/buster-libre-soc/home/mdasoh/src/hdl_tools/cvc5/test/regress/cli/regress0/rels

	Name	Last modified	Size	Description
	Parent Directory		-
	addr_book_0.cvc.smt2	2024-09-15 02:50	1.8K
	atom_univ2.cvc.smt2	2024-09-15 02:50	612
	card_transpose.cvc.smt2	2024-09-15 02:50	161
	iden_0.cvc.smt2	2024-09-15 02:50	719
	iden_1.cvc.smt2	2024-09-15 02:50	527
	join-eq-u-sat.cvc.smt2	2024-09-15 02:50	494
	join-eq-u.cvc.smt2	2024-09-15 02:50	496
	joinImg_0.cvc.smt2	2024-09-15 02:50	855
	oneLoc_no_quant-int_0_1.cvc.smt2	2024-09-15 02:50	558
	qgu-fuzz-relations-1-dd.smt2	2024-09-15 02:50	190
	qgu-fuzz-relations-1.smt2	2024-09-15 02:50	344
	rel_1tup_0.cvc.smt2	2024-09-15 02:50	472
	rel_complex_0.cvc.smt2	2024-09-15 02:50	652
	rel_complex_1.cvc.smt2	2024-09-15 02:50	771
	rel_conflict_0.cvc.smt2	2024-09-15 02:50	245
	rel_join_0.cvc.smt2	2024-09-15 02:50	611
	rel_join_0_1.cvc.smt2	2024-09-15 02:50	639
	rel_join_1.cvc.smt2	2024-09-15 02:50	755
	rel_join_1_1.cvc.smt2	2024-09-15 02:50	738
	rel_join_2.cvc.smt2	2024-09-15 02:50	456
	rel_join_2_1.cvc.smt2	2024-09-15 02:50	448
	rel_join_3.cvc.smt2	2024-09-15 02:50	772
	rel_join_3_1.cvc.smt2	2024-09-15 02:50	764
	rel_join_4.cvc.smt2	2024-09-15 02:50	824
	rel_join_5.cvc.smt2	2024-09-15 02:50	562
	rel_join_6.cvc.smt2	2024-09-15 02:50	412
	rel_join_7.cvc.smt2	2024-09-15 02:50	680
	rel_product_0.cvc.smt2	2024-09-15 02:50	493
	rel_product_0_1.cvc.smt2	2024-09-15 02:50	485
	rel_product_1.cvc.smt2	2024-09-15 02:50	529
	rel_product_1_1.cvc.smt2	2024-09-15 02:50	482
	rel_symbolic_1.cvc.smt2	2024-09-15 02:50	514
	rel_symbolic_1_1.cvc.smt2	2024-09-15 02:50	435
	rel_symbolic_2_1.cvc.smt2	2024-09-15 02:50	472
	rel_symbolic_3_1.cvc.smt2	2024-09-15 02:50	485
	rel_tc_2_1.cvc.smt2	2024-09-15 02:50	712
	rel_tc_3.cvc.smt2	2024-09-15 02:50	526
	rel_tc_3_1.cvc.smt2	2024-09-15 02:50	436
	rel_tc_7.cvc.smt2	2024-09-15 02:50	307
	rel_tc_8.cvc.smt2	2024-09-15 02:50	253
	rel_tc_11.cvc.smt2	2024-09-15 02:50	533
	rel_tp_3_1.cvc.smt2	2024-09-15 02:50	385
	rel_tp_join_0.cvc.smt2	2024-09-15 02:50	840
	rel_tp_join_1.cvc.smt2	2024-09-15 02:50	770
	rel_tp_join_2.cvc.smt2	2024-09-15 02:50	578
	rel_tp_join_3.cvc.smt2	2024-09-15 02:50	778
	rel_tp_join_eq_0.cvc.smt2	2024-09-15 02:50	677
	rel_tp_join_int_0.cvc.smt2	2024-09-15 02:50	554
	rel_tp_join_pro_0.cvc.smt2	2024-09-15 02:50	602
	rel_tp_join_var_0.cvc.smt2	2024-09-15 02:50	668
	rel_transpose_0.cvc.smt2	2024-09-15 02:50	410
	rel_transpose_1.cvc.smt2	2024-09-15 02:50	374
	rel_transpose_1_1.cvc.smt2	2024-09-15 02:50	422
	rel_transpose_3.cvc.smt2	2024-09-15 02:50	371
	rel_transpose_4.cvc.smt2	2024-09-15 02:50	299
	rel_transpose_5.cvc.smt2	2024-09-15 02:50	520
	rel_transpose_6.cvc.smt2	2024-09-15 02:50	554
	rel_transpose_7.cvc.smt2	2024-09-15 02:50	225
	relations-ops.smt2	2024-09-15 02:50	857
	rels-sharing-simp.cvc.smt2	2024-09-15 02:50	324