Detail page for hwmcc family


	Submitter:	Leander Tentrup

	Suite:	Tentrup

	Domain:	Miscellanea

	Description:

	Number of instances:	8

	Results:	2017 - Track 1 2017 - Track 2 2017 - Track 3

	Instances:	6s289rb05233_c0to63.sat beemldelec4b1_c0to127.sat beemldelec4b1_c0to127.unsat beemskbn1f1_c0to7.sat oski3ub5i_c0to255.sat oski3ub5i_c0to255.unsat oski3ub5i_c0to511.sat oski3ub5i_c0to63.sat

The Quantified Boolean Formulas Satisfiability Library