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

Solver	Total time	Mean time	Std time	Median time	IQ range time	Solved/Total
GRL	0.11	0.01	0.01	0.01	0.01	1
openQbf	6.35	0.64	0.55	0.33	0.38	1
qbfbdd	550.25	55.03	144.56	3.01	3.38	1
QbflHR	0.43	0.04	0.06	0.01	0.02	1
QChaffLearn	0.81	0.08	0.13	0.01	0.06	1
QMRes	0.23	0.02	0.01	0.02	0	1
QUANTOR	0.03	0	0.01	0	0	1
semprop	0.09	0.01	0.01	0.01	0.01	1
skizzo_v0.4	10.4	1.04	2.17	0.08	0.58	1
skizzo_v0.5	7.88	0.79	1.9	0.07	0.15	1
sSolve	0.07	0.01	0.01	0.01	0.01	1
WalkQSAT	0.24	0.02	0.02	0.02	0.02	1
yQuaffle	0.27	0.03	0.04	0.01	0.02	0.8

QBF Solver Evaluation Portal