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

drwxr-xr-x		..
-rw-r--r--	353324	C880mul.miter.shuffled-as.sat03-348.smtv1.smt2	blob \| history \| raw
-rw-r--r--	12959	NEQ016_size5.smtv1.smt2	blob \| history \| raw
-rw-r--r--	85386	bug143.smtv1.smt2	blob \| history \| raw
-rw-r--r--	42060	bug337.smt2	blob \| history \| raw
-rw-r--r--	168791	bug396.smt2	blob \| history \| raw
-rw-r--r--	5133207	comb2.shuffled-as.sat03-420.smtv1.smt2	blob \| history \| raw
-rw-r--r--	79714	fischer3-mutex-16.smtv1.smt2	blob \| history \| raw
-rw-r--r--	187067	instance_1151.smtv1.smt2	blob \| history \| raw
-rw-r--r--	7934	issue2429.smt2	blob \| history \| raw
-rw-r--r--	70453	miplib-pp08a-3000.smt2	blob \| history \| raw
-rw-r--r--	85433	miplib-pp08a-3000.smtv1.smt2	blob \| history \| raw
-rw-r--r--	265438	pp-regfile.smtv1.smt2	blob \| history \| raw
-rw-r--r--	830	sets-card-neg-mem-union-2.smt2	blob \| history \| raw
-rw-r--r--	514	siegel-nl-bases.smt2	blob \| history \| raw
-rw-r--r--	767	unsat-circ-reduce.smt2	blob \| history \| raw
-rw-r--r--	6505	xs-11-20-5-2-5-3.smt2	blob \| history \| raw
-rw-r--r--	7793	xs-11-20-5-2-5-3.smtv1.smt2	blob \| history \| raw