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

	Name	Last modified	Size	Description
	Parent Directory		-
	NEQ016_size5_reduced2a.smtv1.smt2	2024-09-15 02:50	253
	NEQ016_size5_reduced2b.smtv1.smt2	2024-09-15 02:50	253
	SEQ032_size2.smtv1.smt2	2024-09-15 02:50	1.8K
	bool-pred-nested.smt2	2024-09-15 02:50	141
	ccredesign-fuzz.smtv1.smt2	2024-09-15 02:50	583
	cnf-and-neg.smt2	2024-09-15 02:50	270
	cnf-iff-base.smt2	2024-09-15 02:50	321
	cnf-iff.smt2	2024-09-15 02:50	909
	cnf-ite.smt2	2024-09-15 02:50	838
	cnf_abc.smt2	2024-09-15 02:50	1.9K
	dead_dnd002.smtv1.smt2	2024-09-15 02:50	19K
	eq_diamond1.smtv1.smt2	2024-09-15 02:50	449
	eq_diamond14.reduced.smtv1.smt2	2024-09-15 02:50	1.3K
	eq_diamond14.reduced2.smtv1.smt2	2024-09-15 02:50	1.4K
	eq_diamond23.smtv1.smt2	2024-09-15 02:50	3.2K
	euf_simp01.smtv1.smt2	2024-09-15 02:50	374
	euf_simp02.smtv1.smt2	2024-09-15 02:50	569
	euf_simp03.smtv1.smt2	2024-09-15 02:50	484
	euf_simp04.smtv1.smt2	2024-09-15 02:50	543
	euf_simp05.smtv1.smt2	2024-09-15 02:50	356
	euf_simp06.smtv1.smt2	2024-09-15 02:50	364
	euf_simp08.smtv1.smt2	2024-09-15 02:50	369
	euf_simp09.smtv1.smt2	2024-09-15 02:50	368
	euf_simp10.smtv1.smt2	2024-09-15 02:50	392
	euf_simp11.smtv1.smt2	2024-09-15 02:50	407
	euf_simp12.smtv1.smt2	2024-09-15 02:50	411
	euf_simp13.smtv1.smt2	2024-09-15 02:50	567
	iso_brn001.smtv1.smt2	2024-09-15 02:50	17K
	iso_icl_repgen004.smtv1.smt2	2024-09-15 02:50	52K
	issue2947.smt2	2024-09-15 02:50	163
	issue4446.smt2	2024-09-15 02:50	159
	pred.smtv1.smt2	2024-09-15 02:50	307
	simple.01.cvc.smt2	2024-09-15 02:50	226
	simple.02.cvc.smt2	2024-09-15 02:50	205
	simple.03.cvc.smt2	2024-09-15 02:50	313
	simple.04.cvc.smt2	2024-09-15 02:50	304