Family mA-t2-3qbf-5cnf-150var-600cl results for solvers <br> QBFEVAL'04

Solver	Total time	Mean time	Std time	Median time	Solved/Total
CLearn	0.01	0.01	0.01	0.01	1
CSBJ	0.01	0.01	0.01	0.01	1
GRL	0.03	0.02	0.01	0.02	1
openQbf	0.58	0.29	0	0.29	1
orSAT	1802	901	0	901	0
QBFL-BS	0.01	0.01	0.01	0.01	1
QBFL-JW	0.02	0.01	0	0.01	1
QMRes	1802.04	901.02	0	901.02	0
QSAT	0.24	0.12	0.03	0.12	1
QUANTOR	36.18	18.09	2.88	18.09	0
QUBE-BJ	2.01	1.01	0.03	1.01	1
QUBE-LRN	1.96	0.98	0	0.98	1
semprop	0.01	0.01	0.01	0.01	1
sSolve	0.04	0.02	0	0.02	1
WalkQSAT	0.03	0.02	0.01	0.02	1
yQuaffle	1802.01	901.01	0.01	901.01	0

QBF Solver Evaluation Portal