uflia « 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--	DRAGON_11_e1_2450.ec.minimized.smt2	3522	log plain
-rw-r--r--	DRAGON_11_e1_2450.ec.minimized.smt2.expect	58	log plain
-rw-r--r--	FIREFLY_3_e2_2236_e7_3681.ec.core.smt2	2039	log plain
-rw-r--r--	FIREFLY_3_e2_2236_e7_3681.ec.core.smt2.expect	44	log plain
-rw-r--r--	FIREFLY_luke_1b_e2_3049_e7_1173.ec.minimized.smt2	9501	log plain
-rw-r--r--	Makefile	142	log plain
-rw-r--r--	Makefile.am	2139	log plain
-rw-r--r--	check01.smt2	215	log plain
-rw-r--r--	check02.smt2	567	log plain
-rw-r--r--	check02.smt2.expect	60	log plain
-rw-r--r--	check03.smt2	390	log plain
-rw-r--r--	check03.smt2.expect	60	log plain
-rw-r--r--	check04.smt2	294	log plain
-rw-r--r--	check04.smt2.expect	60	log plain
-rw-r--r--	diseqprop.01.smt	310	log plain
-rw-r--r--	diseqprop.02.smt	311	log plain
-rw-r--r--	diseqprop.03.smt	311	log plain
-rw-r--r--	diseqprop.04.smt	311	log plain
-rw-r--r--	diseqprop.05.smt	324	log plain
-rw-r--r--	diseqprop.06.smt	325	log plain
-rw-r--r--	error0.delta01.smt	1985	log plain
-rw-r--r--	error1.smt	22423	log plain
-rw-r--r--	error30.smt	4288	log plain
-rw-r--r--	javafe.ast.StandardPrettyPrint.319_no_forall.smt2	116428	log plain
-rw-r--r--	javafe.ast.WhileStmt.447_no_forall.smt2	83181	log plain
-rw-r--r--	microwave21.ec.minimized.smt2	28381	log plain
-rw-r--r--	simple_cyclic2.smt2	23789	log plain
-rw-r--r--	simplify.javafe.ast.ArrayInit.35_without_quantification2.smt2	84910	log plain
-rw-r--r--	speed2_e8_449_e8_517.ec.smt2	24386	log plain
-rw-r--r--	speed2_e8_449_e8_517.ec.smt2.expect	92	log plain
-rw-r--r--	stalmark_e7_27_e7_31.ec.minimized.smt2	5183	log plain
-rw-r--r--	stalmark_e7_27_e7_31.ec.minimized.smt2.expect	60	log plain
-rw-r--r--	stalmark_e7_27_e7_31.ec.smt2	25050	log plain
-rw-r--r--	stalmark_e7_27_e7_31.ec.smt2.expect	122	log plain
-rw-r--r--	tiny.smt2	366	log plain
-rw-r--r--	tiny.smt2.expect	82	log plain
-rw-r--r--	xs-09-16-3-4-1-5.delta01.smt	1143	log plain
-rw-r--r--	xs-09-16-3-4-1-5.delta02.smt	980	log plain
-rw-r--r--	xs-09-16-3-4-1-5.delta03.smt	1107	log plain
-rw-r--r--	xs-09-16-3-4-1-5.delta04.smt	1752	log plain
-rw-r--r--	xs-09-16-3-4-1-5.delta05.smt	383	log plain