Family mA-t2-2qbf-5cnf-20var-640cl results for solvers <br> QBFEVAL'05

Solver	Total time	Mean time	Std time	Median time	IQ range time	Solved/Total
GRL	0.08	0.01	0.01	0.01	0.01	1
openQbf	2.38	0.24	0.02	0.24	0.02	1
qbfbdd	0.02	0	0	0	0	1
QbflHR	0.05	0.01	0.01	0	0.01	1
QChaffLearn	0.06	0.01	0.01	0.01	0.01	1
QMRes	9008.41	900.84	0.09	900.87	0.07	0
QUANTOR	30.09	3.01	2.13	2.5	1.34	1
semprop	0.07	0.01	0.01	0.01	0.01	1
skizzo_v0.4	2	0.2	0.18	0.13	0.11	1
skizzo_v0.5	12.64	1.26	3.41	0.13	0.08	1
sSolve	0.06	0.01	0.01	0.01	0.01	1
WalkQSAT	0.06	0.01	0.01	0.01	0.01	1
yQuaffle	0.06	0.01	0.01	0.01	0.01	1

QBF Solver Evaluation Portal