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

Solver	Total time	Mean time	Std time	Median time	IQ range time	Solved/Total
GRL	0.01	0	0	0	0	1
openQbf	2.1	0.21	0.01	0.21	0.03	1
qbfbdd	0.04	0	0.01	0	0.01	1
QbflHR	0.06	0.01	0.01	0.01	0.01	1
QChaffLearn	0.01	0	0	0	0	1
QMRes	8180.55	818.06	247.18	900.41	0.22	0.1
QUANTOR	0.05	0.01	0.01	0.01	0.01	1
semprop	0.03	0	0.01	0	0	1
skizzo_v0.4	0.31	0.03	0.01	0.03	0.01	1
skizzo_v0.5	0.49	0.05	0.01	0.05	0.01	1
sSolve	0.05	0.01	0.01	0.01	0.01	1
WalkQSAT	0.04	0	0.01	0	0.01	1
yQuaffle	0.07	0.01	0.01	0.01	0.01	1

QBF Solver Evaluation Portal