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

drwxr-xr-x		..
-rw-r--r--	131	bug293.cvc	blob \| history \| raw
-rw-r--r--	203	bug449.smtv1.smt2	blob \| history \| raw
-rw-r--r--	502	constants0.smtv1.smt2	blob \| history \| raw
-rw-r--r--	8313	fuzz01.smtv1.smt2	blob \| history \| raw
-rw-r--r--	459	incorrect1.delta01.smtv1.smt2	blob \| history \| raw
-rw-r--r--	179	incorrect1.delta02.smtv1.smt2	blob \| history \| raw
-rw-r--r--	210	neq-deltacomp.smtv1.smt2	blob \| history \| raw
-rw-r--r--	9176	pb_real_10_0100_10_10.smtv1.smt2	blob \| history \| raw
-rw-r--r--	9545	pb_real_10_0100_10_11.smtv1.smt2	blob \| history \| raw
-rw-r--r--	9668	pb_real_10_0100_10_15.smtv1.smt2	blob \| history \| raw
-rw-r--r--	9195	pb_real_10_0100_10_16.smtv1.smt2	blob \| history \| raw
-rw-r--r--	8866	pb_real_10_0100_10_19.smtv1.smt2	blob \| history \| raw
-rw-r--r--	14383	pb_real_10_0200_10_22.smtv1.smt2	blob \| history \| raw
-rw-r--r--	13785	pb_real_10_0200_10_25.smtv1.smt2	blob \| history \| raw
-rw-r--r--	13816	pb_real_10_0200_10_26.smtv1.smt2	blob \| history \| raw
-rw-r--r--	13615	pb_real_10_0200_10_27.smtv1.smt2	blob \| history \| raw
-rw-r--r--	14025	pb_real_10_0200_10_29.smtv1.smt2	blob \| history \| raw
-rw-r--r--	71	simple.01.cvc	blob \| history \| raw
-rw-r--r--	116	simple.02.cvc	blob \| history \| raw
-rw-r--r--	181	simple.03.cvc	blob \| history \| raw
-rw-r--r--	249	simple.04.cvc	blob \| history \| raw