Solvers
2clsQ	Adaptive2clsQ	aigqbf_s	aigqbf_sr
AIGSolve	aqme-10	AQME-1NN	AQME-C4.5
AQME-RIPPER	CirQit2.1	CLearn	CMS_Solver
CSBJ	depqbf	depqbf-pre	EBDDRES
GRL	ncQuBE1.0	ncQuBE1.1	Nenofex
nenofex-qbfeval10	openQbf	orSAT	pQBF
preQuantor	preQuel_sKizzo-0.10	qbfbdd	Qbfl
QBFL-BS	QBFL-JW	QbflHR	QChaffLearn
qmaiga	QMRes	qpro	QSAT
qSS	Quaffle	QUANTOR	quantor-3.1
quantor3.0	QUANTOR_2.15	QUANTOR_hc	QUBE-BJ
QUBE-LRN	qube3.0	qube4.0	qube5.0
QuBE6.1	QuBE7	QuBE7-c	QuBE7-m
qZilla	semprop	sKizzo-0.10-qck	sKizzo-0.10-std
sKizzo-0.9-abs	sKizzo-0.9-grn	sKizzo-0.9-std	skizzo_v0.4
skizzo_v0.5	SQBF	squolem	sSolve
ssolve+ut	ssolve-A	ssolve-ut	ssolveB
ssolveC	struqs-10	WalkQSAT	yQuaffle