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

drwxr-xr-x		..
-rw-r--r--	395	dispose-1.smt2	blob \| history \| raw
-rw-r--r--	187	dup-nemp.smt2	blob \| history \| raw
-rw-r--r--	114	nemp.smt2	blob \| history \| raw
-rw-r--r--	175	nil-no-elim.smt2	blob \| history \| raw
-rw-r--r--	216	nspatial-simp.smt2	blob \| history \| raw
-rw-r--r--	195	pto-01.smt2	blob \| history \| raw
-rw-r--r--	486	pto-02.smt2	blob \| history \| raw
-rw-r--r--	211	sep-01.smt2	blob \| history \| raw
-rw-r--r--	299	sep-plus1.smt2	blob \| history \| raw
-rw-r--r--	227	sep-simp-unsat-emp.smt2	blob \| history \| raw
-rw-r--r--	141	skolem_emp.smt2	blob \| history \| raw
-rw-r--r--	1195	trees-1.smt2	blob \| history \| raw
-rw-r--r--	137	wand-crash.smt2	blob \| history \| raw