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

Solver	Total time	Mean time	Std time	Median time	IQ range time	Solved/Total
GRL	0.22	0.02	0.01	0.02	0	1
openQbf	3.14	0.31	0.02	0.31	0.03	1
qbfbdd	0.06	0.01	0.01	0.01	0.01	1
QbflHR	0.07	0.01	0.01	0.01	0.01	1
QChaffLearn	0.09	0.01	0.01	0.01	0.01	1
QMRes	9004.13	900.41	0.77	900.67	0.11	0
QUANTOR	144.62	14.46	0.11	14.49	0.12	0
semprop	0.06	0.01	0.01	0.01	0.01	1
skizzo_v0.4	13.9	1.39	2.55	0.59	0.45	1
skizzo_v0.5	27.29	2.73	6.52	0.62	0.45	1
sSolve	0.08	0.01	0	0.01	0.01	1
WalkQSAT	0.11	0.01	0.01	0.01	0.02	1
yQuaffle	0.12	0.01	0.01	0.01	0	1

QBF Solver Evaluation Portal