git.libre-soc.org Git - cvc5.git/tree - test/regress/regress0/uf/

drwxr-xr-x		..
-rw-r--r--	253	NEQ016_size5_reduced2a.smtv1.smt2	blob \| history \| raw
-rw-r--r--	253	NEQ016_size5_reduced2b.smtv1.smt2	blob \| history \| raw
-rw-r--r--	6219	PEQ018_size4.smtv1.smt2	blob \| history \| raw
-rw-r--r--	1864	SEQ032_size2.smtv1.smt2	blob \| history \| raw
-rw-r--r--	141	bool-pred-nested.smt2	blob \| history \| raw
-rw-r--r--	583	ccredesign-fuzz.smtv1.smt2	blob \| history \| raw
-rw-r--r--	270	cnf-and-neg.smt2	blob \| history \| raw
-rw-r--r--	321	cnf-iff-base.smt2	blob \| history \| raw
-rw-r--r--	909	cnf-iff.smt2	blob \| history \| raw
-rw-r--r--	838	cnf-ite.smt2	blob \| history \| raw
-rw-r--r--	1932	cnf_abc.smt2	blob \| history \| raw
-rw-r--r--	19680	dead_dnd002.smtv1.smt2	blob \| history \| raw
-rw-r--r--	449	eq_diamond1.smtv1.smt2	blob \| history \| raw
-rw-r--r--	1305	eq_diamond14.reduced.smtv1.smt2	blob \| history \| raw
-rw-r--r--	1400	eq_diamond14.reduced2.smtv1.smt2	blob \| history \| raw
-rw-r--r--	3299	eq_diamond23.smtv1.smt2	blob \| history \| raw
-rw-r--r--	374	euf_simp01.smtv1.smt2	blob \| history \| raw
-rw-r--r--	569	euf_simp02.smtv1.smt2	blob \| history \| raw
-rw-r--r--	484	euf_simp03.smtv1.smt2	blob \| history \| raw
-rw-r--r--	543	euf_simp04.smtv1.smt2	blob \| history \| raw
-rw-r--r--	356	euf_simp05.smtv1.smt2	blob \| history \| raw
-rw-r--r--	364	euf_simp06.smtv1.smt2	blob \| history \| raw
-rw-r--r--	369	euf_simp08.smtv1.smt2	blob \| history \| raw
-rw-r--r--	368	euf_simp09.smtv1.smt2	blob \| history \| raw
-rw-r--r--	392	euf_simp10.smtv1.smt2	blob \| history \| raw
-rw-r--r--	407	euf_simp11.smtv1.smt2	blob \| history \| raw
-rw-r--r--	411	euf_simp12.smtv1.smt2	blob \| history \| raw
-rw-r--r--	567	euf_simp13.smtv1.smt2	blob \| history \| raw
-rw-r--r--	17170	iso_brn001.smtv1.smt2	blob \| history \| raw
-rw-r--r--	53198	iso_icl_repgen004.smtv1.smt2	blob \| history \| raw
-rw-r--r--	163	issue2947.smt2	blob \| history \| raw
-rw-r--r--	760	mkpidgeon	blob \| history \| raw
-rw-r--r--	307	pred.smtv1.smt2	blob \| history \| raw
-rw-r--r--	85	simple.01.cvc	blob \| history \| raw
-rw-r--r--	78	simple.02.cvc	blob \| history \| raw
-rw-r--r--	134	simple.03.cvc	blob \| history \| raw
-rw-r--r--	135	simple.04.cvc	blob \| history \| raw