Detail page for Qq3k3k1k1v40v40v40m8 family


	Submitter:	Yannet Interian

	Suite:	Interian

	Domain:	Chen-Interian

	Description:

	Number of instances:	10

	Results:	2006 - Track 1

	Instances:	Qq3k3k1k1v40v40v40m8s0 Qq3k3k1k1v40v40v40m8s1 Qq3k3k1k1v40v40v40m8s2 Qq3k3k1k1v40v40v40m8s3 Qq3k3k1k1v40v40v40m8s4 Qq3k3k1k1v40v40v40m8s5 Qq3k3k1k1v40v40v40m8s6 Qq3k3k1k1v40v40v40m8s7 Qq3k3k1k1v40v40v40m8s8 Qq3k3k1k1v40v40v40m8s9

The Quantified Boolean Formulas Satisfiability Library