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

	Name	Last modified	Size	Description
	Parent Directory		-
	DRAGON_11_e1_2450.ec.minimized.smt2	2024-09-15 02:50	3.5K
	FIREFLY_3_e2_2236_e7_3681.ec.core.smt2	2024-09-15 02:50	2.0K
	FIREFLY_luke_1b_e2_3049_e7_1173.ec.minimized.smt2	2024-09-15 02:50	9.3K
	error1.smtv1.smt2	2024-09-15 02:50	26K
	microwave21.ec.minimized.smt2	2024-09-15 02:50	28K
	simple_cyclic2.smt2	2024-09-15 02:50	23K
	speed2_e8_449_e8_517.ec.smt2	2024-09-15 02:50	24K
	stalmark_e7_27_e7_31.ec.smt2	2024-09-15 02:50	25K