Detail page for Qq3k1k3k1v40v40v40m16 family


	Submitter:	Yannet Interian

	Suite:	Interian

	Domain:	Chen-Interian

	Description:

	Number of instances:	10

	Results:	2006 - Track 1

	Instances:	Qq3k1k3k1v40v40v40m16s0 Qq3k1k3k1v40v40v40m16s1 Qq3k1k3k1v40v40v40m16s2 Qq3k1k3k1v40v40v40m16s3 Qq3k1k3k1v40v40v40m16s4 Qq3k1k3k1v40v40v40m16s5 Qq3k1k3k1v40v40v40m16s6 Qq3k1k3k1v40v40v40m16s7 Qq3k1k3k1v40v40v40m16s8 Qq3k1k3k1v40v40v40m16s9

The Quantified Boolean Formulas Satisfiability Library