Family mA-t2-5qbf-5cnf-40var-160cl results for solvers <br> QBFEVAL'05

Solver	Total time	Mean time	Std time	Median time	IQ range time	Solved/Total
GRL	0.06	0.01	0.01	0.01	0.01	1
openQbf	1.81	0.18	0.01	0.18	0.01	1
qbfbdd	9009.75	900.98	0.03	900.98	0.02	0
QbflHR	0.05	0.01	0.01	0.01	0.01	1
QChaffLearn	0.02	0	0	0	0	1
QMRes	4.62	0.46	0.41	0.21	0.2	1
QUANTOR	0.05	0.01	0.01	0.01	0.01	1
semprop	0.05	0.01	0.01	0.01	0.01	1
skizzo_v0.4	0.14	0.01	0.01	0.01	0.02	1
skizzo_v0.5	0.12	0.01	0.01	0.01	0.01	1
sSolve	0.03	0	0.01	0	0	1
WalkQSAT	0.03	0	0.01	0	0	1
yQuaffle	6.95	0.7	0.8	0.29	0.56	1

QBF Solver Evaluation Portal