uflra « regress0 « regress « test - cvc5.git - CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

Mode	Name	Size
-rw-r--r--	Makefile	142	log plain
-rw-r--r--	Makefile.am	1478	log plain
-rw-r--r--	bug293.cvc	142	log plain
-rw-r--r--	bug449.smt	160	log plain
-rw-r--r--	constants0.smt	329	log plain
-rw-r--r--	error1.smt	28207	log plain
-rw-r--r--	incorrect1.delta01.smt	718	log plain
-rw-r--r--	incorrect1.delta02.smt	248	log plain
-rw-r--r--	incorrect1.smt	98728	log plain
-rw-r--r--	incorrect2.smt	98728	log plain
-rw-r--r--	neq-deltacomp.smt	243	log plain
-rw-r--r--	pb_real_10_0100_10_10.smt	7537	log plain
-rw-r--r--	pb_real_10_0100_10_11.smt	7563	log plain
-rw-r--r--	pb_real_10_0100_10_15.smt	7462	log plain
-rw-r--r--	pb_real_10_0100_10_16.smt	7605	log plain
-rw-r--r--	pb_real_10_0100_10_19.smt	7616	log plain
-rw-r--r--	pb_real_10_0200_10_22.smt	11562	log plain
-rw-r--r--	pb_real_10_0200_10_25.smt	11605	log plain
-rw-r--r--	pb_real_10_0200_10_26.smt	11333	log plain
-rw-r--r--	pb_real_10_0200_10_27.smt	11451	log plain
-rw-r--r--	pb_real_10_0200_10_29.smt	11491	log plain
-rw-r--r--	simple.01.cvc	82	log plain
-rw-r--r--	simple.02.cvc	127	log plain
-rw-r--r--	simple.03.cvc	192	log plain
-rw-r--r--	simple.04.cvc	260	log plain