Solvers
2clsQ	Adaptive2clsQ	aigqbf_s	aigqbf_sr
AQME-1NN	AQME-C4.5	AQME-RIPPER	CLearn
CMS_Solver	CSBJ	EBDDRES	GRL
ncQuBE1.0	ncQuBE1.1	Nenofex	openQbf
orSAT	pQBF	preQuantor	preQuel_sKizzo-0.10
qbfbdd	Qbfl	QBFL-BS	QBFL-JW
QbflHR	QChaffLearn	QMRes	qpro
QSAT	qSS	Quaffle	QUANTOR
quantor3.0	QUANTOR_2.15	QUANTOR_hc	QUBE-BJ
QUBE-LRN	qube3.0	qube4.0	qube5.0
QuBE6.1	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	WalkQSAT	yQuaffle