The Quantified Boolean Formulas Satisfiability Library
Home
Instances
Solvers
QBF Evaluations
quantor3.0
Submitter:
Armin Biere
Description:
picosat 752 backend
Results:
2008 - Track 1