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

drwxr-xr-x		..
-rw-r--r--	393	ackermann.real.smt2	blob \| history \| raw
-rw-r--r--	259	arith-eq.smt2	blob \| history \| raw
-rw-r--r--	322	arith-mixed-types-no-tighten.smt2	blob \| history \| raw
-rw-r--r--	1033	arith-mixed-types-tighten.smt2	blob \| history \| raw
-rw-r--r--	261	arith-strict-relaxed.smt2	blob \| history \| raw
-rw-r--r--	216	arith-strict.smt2	blob \| history \| raw
-rw-r--r--	297	arith-tighten-1.smt2	blob \| history \| raw
-rw-r--r--	192	arith-tighten-2.smt2	blob \| history \| raw
-rw-r--r--	63	arith.01.cvc	blob \| history \| raw
-rw-r--r--	72	arith.02.cvc	blob \| history \| raw
-rw-r--r--	80	arith.03.cvc	blob \| history \| raw
-rw-r--r--	508	bug443.delta01.smtv1.smt2	blob \| history \| raw
-rw-r--r--	187	bug547.2.smt2	blob \| history \| raw
-rw-r--r--	65	bug549.cvc	blob \| history \| raw
-rw-r--r--	340	bug569.smt2	blob \| history \| raw
-rw-r--r--	268	delta-minimized-row-vector-bug.smtv1.smt2	blob \| history \| raw
-rw-r--r--	180	div-chainable.smt2	blob \| history \| raw
-rw-r--r--	296	div.01.smt2	blob \| history \| raw
-rw-r--r--	157	div.02.smt2	blob \| history \| raw
-rw-r--r--	246	div.04.smt2	blob \| history \| raw
-rw-r--r--	220	div.05.smt2	blob \| history \| raw
-rw-r--r--	267	div.07.smt2	blob \| history \| raw
-rw-r--r--	648	fuzz_3-eq.smtv1.smt2	blob \| history \| raw
-rw-r--r--	10129	incorrect1.smtv1.smt2	blob \| history \| raw
drwxr-xr-x	-	integers	tree \| history
-rw-r--r--	408	issue1399.smt2	blob \| history \| raw
-rw-r--r--	87	issue3412.smt2	blob \| history \| raw
-rw-r--r--	233	issue3413.smt2	blob \| history \| raw
-rw-r--r--	262	issue3480.smt2	blob \| history \| raw
-rw-r--r--	112	issue3683.smt2	blob \| history \| raw
-rw-r--r--	357	ite-lift.smt2	blob \| history \| raw
-rw-r--r--	114	leq.01.smtv1.smt2	blob \| history \| raw
-rw-r--r--	249485	miplib-opt1217--27.smtv1.smt2	blob \| history \| raw
-rw-r--r--	85433	miplib-pp08a-3000.smtv1.smt2	blob \| history \| raw
-rw-r--r--	787	miplib.cvc	blob \| history \| raw
-rw-r--r--	889	miplib2.cvc	blob \| history \| raw
-rw-r--r--	361	miplib4.cvc	blob \| history \| raw
-rw-r--r--	243	miplibtrick.smtv1.smt2	blob \| history \| raw
-rw-r--r--	189	mod-simp.smt2	blob \| history \| raw
-rw-r--r--	191	mod.01.smt2	blob \| history \| raw
-rw-r--r--	325	mult.01.smt2	blob \| history \| raw