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

Solver	Total time	Mean time	Std time	Median time	IQ range time	Solved/Total
GRL	0.03	0	0.01	0	0	1
openQbf	1.87	0.19	0.01	0.19	0.01	1
qbfbdd	0.02	0	0	0	0	1
QbflHR	0.08	0.01	0.01	0.01	0.01	1
QChaffLearn	0.05	0.01	0.01	0.01	0.01	1
QMRes	6.33	0.63	0.42	0.52	0.52	1
QUANTOR	0.03	0	0.01	0	0	1
semprop	0.05	0.01	0.01	0.01	0.01	1
skizzo_v0.4	0.36	0.04	0.02	0.04	0.02	1
skizzo_v0.5	0.32	0.03	0.01	0.03	0	1
sSolve	0.05	0.01	0.01	0.01	0.01	1
WalkQSAT	0.07	0.01	0.01	0.01	0.01	1
yQuaffle	0.1	0.01	0.01	0.01	0.01	1

QBF Solver Evaluation Portal