The Quantified Boolean Formulas Satisfiability Library

Home
Instances
Solvers
QBF Evaluations

qmaiga


	Submitter:	Sven Reimer

	Description:

	Results:	2010 - Track 1