unit-tests - smtcoq - Fork of https://github.com/smtcoq/smtcoq.

Mode	Name	Size
-rw-r--r--	Makefile	595	log stats plain
-rw-r--r--	Tests.v	30795	log stats plain
-rw-r--r--	cmu-bmc-barrel6.cnf	139970	log stats plain
-rw-r--r--	hole4.cnf	1442	log stats plain
-rw-r--r--	hole4.smt2	2346	log stats plain
-rw-r--r--	let1.smt2	130	log stats plain
-rw-r--r--	let2.smt2	150	log stats plain
-rw-r--r--	lia1.smt2	202	log stats plain
-rw-r--r--	lia2.smt2	105	log stats plain
-rw-r--r--	lia3.smt2	127	log stats plain
-rw-r--r--	lia4.smt2	126	log stats plain
-rw-r--r--	lia5.smt2	160	log stats plain
-rw-r--r--	lia6.smt2	127	log stats plain
-rw-r--r--	lia7.smt2	105	log stats plain
-rwxr-xr-x	runverit.sh	196	log stats plain
-rwxr-xr-x	runzchaff.sh	100	log stats plain
-rw-r--r--	sat1.cnf	30	log stats plain
-rw-r--r--	sat1.smt2	86	log stats plain
-rw-r--r--	sat10.smt2	135	log stats plain
-rw-r--r--	sat11.smt2	199	log stats plain
-rw-r--r--	sat12.smt2	221	log stats plain
-rw-r--r--	sat13.smt2	148	log stats plain
-rw-r--r--	sat2.cnf	84	log stats plain
-rw-r--r--	sat2.smt2	157	log stats plain
-rw-r--r--	sat3.cnf	38	log stats plain
-rw-r--r--	sat3.smt2	93	log stats plain
-rw-r--r--	sat4.smt2	91	log stats plain
-rw-r--r--	sat5.cnf	116	log stats plain
-rw-r--r--	sat5.smt2	209	log stats plain
-rw-r--r--	sat6.cnf	84	log stats plain
-rw-r--r--	sat6.smt2	204	log stats plain
-rw-r--r--	sat7.cnf	84	log stats plain
-rw-r--r--	sat7.smt2	198	log stats plain
-rw-r--r--	sat8.smt2	98	log stats plain
-rw-r--r--	sat9.smt2	159	log stats plain
-rw-r--r--	uf1.smt2	248	log stats plain
-rw-r--r--	uf2.smt2	212	log stats plain
-rw-r--r--	uf3.smt2	194	log stats plain
-rw-r--r--	uf4.smt2	214	log stats plain
-rw-r--r--	uf5.smt2	251	log stats plain
-rw-r--r--	uf6.smt2	195	log stats plain
-rw-r--r--	uf7.smt2	203	log stats plain
-rw-r--r--	velev-sss-1.0-05.cnf	193858	log stats plain