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

	Name	Last modified	Size	Description
	Parent Directory		-
	addr_book_1.cvc.smt2	2024-09-15 02:50	1.4K
	addr_book_1_1.cvc.smt2	2024-09-15 02:50	1.4K
	bv1-unit.cvc.smt2	2024-09-15 02:50	594
	bv1-unitb.cvc.smt2	2024-09-15 02:50	643
	bv1.cvc.smt2	2024-09-15 02:50	535
	bv1p-sat.cvc.smt2	2024-09-15 02:50	654
	bv1p.cvc.smt2	2024-09-15 02:50	776
	bv2.cvc.smt2	2024-09-15 02:50	533
	garbage_collect.cvc.smt2	2024-09-15 02:50	1.7K
	iden_1_1.cvc.smt2	2024-09-15 02:50	666
	join-eq-structure-and.cvc.smt2	2024-09-15 02:50	665
	join-eq-structure.cvc.smt2	2024-09-15 02:50	662
	joinImg_0_1.cvc.smt2	2024-09-15 02:50	887
	joinImg_0_2.cvc.smt2	2024-09-15 02:50	1.0K
	joinImg_1.cvc.smt2	2024-09-15 02:50	600
	joinImg_1_1.cvc.smt2	2024-09-15 02:50	645
	joinImg_2.cvc.smt2	2024-09-15 02:50	946
	joinImg_2_1.cvc.smt2	2024-09-15 02:50	921
	prod-mod-eq.cvc.smt2	2024-09-15 02:50	643
	prod-mod-eq2.cvc.smt2	2024-09-15 02:50	713
	qgu-fuzz-relations-2.smt2	2024-09-15 02:50	276
	qgu-fuzz-relations-3-upwards.smt2	2024-09-15 02:50	300
	rel_complex_3.cvc.smt2	2024-09-15 02:50	887
	rel_complex_4.cvc.smt2	2024-09-15 02:50	1.0K
	rel_complex_5.cvc.smt2	2024-09-15 02:50	1.1K
	rel_mix_0_1.cvc.smt2	2024-09-15 02:50	638
	rel_pressure_0.cvc.smt2	2024-09-15 02:50	19K
	rel_tc_4.cvc.smt2	2024-09-15 02:50	525
	rel_tc_4_1.cvc.smt2	2024-09-15 02:50	272
	rel_tc_5_1.cvc.smt2	2024-09-15 02:50	232
	rel_tc_6.cvc.smt2	2024-09-15 02:50	243
	rel_tc_9_1.cvc.smt2	2024-09-15 02:50	718
	rel_tc_10_1.cvc.smt2	2024-09-15 02:50	453
	rel_tp_2.cvc.smt2	2024-09-15 02:50	331
	rel_tp_join_2_1.cvc.smt2	2024-09-15 02:50	570
	set-strat.cvc.smt2	2024-09-15 02:50	631
	strat.cvc.smt2	2024-09-15 02:50	641