The Quantified Boolean Formulas Satisfiability Library

Home
Instances
Solvers
QBF Evaluations

CirQit2.1


	Submitter:	Alexandra Goultiaeva

	Description:

	Results:	2010 - Track 5