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

drwxr-xr-x		..
-rw-r--r--	105	all-logic.smt2	blob \| history \| raw
-rw-r--r--	236	coeff-sat.smt2	blob \| history \| raw
-rw-r--r--	8691	ext-rew-aggr-test.smt2	blob \| history \| raw
-rw-r--r--	602	issue3003.smt2	blob \| history \| raw
-rw-r--r--	170	issue3407.smt2	blob \| history \| raw
-rw-r--r--	184	issue3411.smt2	blob \| history \| raw
-rw-r--r--	135	issue3475.smt2	blob \| history \| raw
-rw-r--r--	2580	magnitude-wrong-1020-m.smt2	blob \| history \| raw
-rw-r--r--	330	mult-po.smt2	blob \| history \| raw
-rw-r--r--	1224	nia-wrong-tl.smt2	blob \| history \| raw
-rw-r--r--	843	nlExtPurify-test.smt2	blob \| history \| raw
drwxr-xr-x	-	nta	tree \| history
-rw-r--r--	234	real-as-int.smt2	blob \| history \| raw
-rw-r--r--	275	real-div-ufnra.smt2	blob \| history \| raw
-rw-r--r--	649	sin-cos-346-b-chunk-0169.smt2	blob \| history \| raw
-rw-r--r--	576	sqrt.smt2	blob \| history \| raw
-rw-r--r--	201	sqrt2-value.smt2	blob \| history \| raw
-rw-r--r--	378	subs0-unsat-confirm.smt2	blob \| history \| raw
-rw-r--r--	1036	very-easy-sat.smt2	blob \| history \| raw
-rw-r--r--	288	very-simple-unsat.smt2	blob \| history \| raw