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

drwxr-xr-x		..
-rw-r--r--	215	check01.smt2	blob \| history \| raw
-rw-r--r--	628	check02.smt2	blob \| history \| raw
-rw-r--r--	451	check03.smt2	blob \| history \| raw
-rw-r--r--	355	check04.smt2	blob \| history \| raw
-rw-r--r--	341	diseqprop.01.smtv1.smt2	blob \| history \| raw
-rw-r--r--	341	diseqprop.02.smtv1.smt2	blob \| history \| raw
-rw-r--r--	341	diseqprop.03.smtv1.smt2	blob \| history \| raw
-rw-r--r--	341	diseqprop.04.smtv1.smt2	blob \| history \| raw
-rw-r--r--	352	diseqprop.05.smtv1.smt2	blob \| history \| raw
-rw-r--r--	352	diseqprop.06.smtv1.smt2	blob \| history \| raw
-rw-r--r--	975	error0.delta01.smtv1.smt2	blob \| history \| raw
-rw-r--r--	26517	error1.smtv1.smt2	blob \| history \| raw
-rw-r--r--	8025	error30.smtv1.smt2	blob \| history \| raw
-rw-r--r--	5244	stalmark_e7_27_e7_31.ec.minimized.smt2	blob \| history \| raw
-rw-r--r--	449	tiny.smt2	blob \| history \| raw
-rw-r--r--	460	xs-09-16-3-4-1-5.delta01.smtv1.smt2	blob \| history \| raw
-rw-r--r--	476	xs-09-16-3-4-1-5.delta02.smtv1.smt2	blob \| history \| raw
-rw-r--r--	510	xs-09-16-3-4-1-5.delta03.smtv1.smt2	blob \| history \| raw
-rw-r--r--	829	xs-09-16-3-4-1-5.delta04.smtv1.smt2	blob \| history \| raw
-rw-r--r--	282	xs-09-16-3-4-1-5.delta05.smtv1.smt2	blob \| history \| raw