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

Solver	Total time	Mean time	Std time	Median time	IQ range time	Solved/Total
GRL	0.09	0.01	0.01	0.01	0.01	1
openQbf	2.04	0.2	0.02	0.2	0.02	1
qbfbdd	0.04	0	0.01	0	0.01	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	281.01	28.1	3.66	29.4	7.84	1
QUANTOR	0.07	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.36	0.04	0.01	0.04	0.01	1
skizzo_v0.5	0.3	0.03	0.01	0.03	0.02	1
sSolve	0.07	0.01	0.01	0.01	0.01	1
WalkQSAT	0.08	0.01	0.01	0.01	0.01	1
yQuaffle	0.01	0	0	0	0	1

QBF Solver Evaluation Portal