The Quantified Boolean Formulas Satisfiability Library

Home
Instances
Solvers
QBF Evaluations

PortfolioGhostQQfunQuAbSQute___pfs


	Submitter:	Tomas Peitl

	Description:

	Results:	2019 - Track 2 2018 - Track 2