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

Solver	Total time	Mean time	Std time	Median time	IQ range time	Solved/Total
GRL	0.07	0.01	0.01	0.01	0.01	1
openQbf	2.8	0.28	0.02	0.28	0.03	1
qbfbdd	0.03	0	0.01	0	0	1
QbflHR	0.07	0.01	0.01	0.01	0.01	1
QChaffLearn	0.07	0.01	0.01	0.01	0.01	1
QMRes	9004.82	900.48	0.12	900.48	0.24	0
QUANTOR	0.06	0.01	0.01	0.01	0.01	1
semprop	0.04	0	0.01	0	0.01	1
skizzo_v0.4	0.39	0.04	0.01	0.04	0.02	1
skizzo_v0.5	0.28	0.03	0.02	0.02	0.03	1
sSolve	0.05	0.01	0.01	0.01	0.01	1
WalkQSAT	0.05	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