Family mA-t2-3qbf-5cnf-150var-300cl 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.02	0.01	0	0.01	1
GRL	0.02	0.01	0	0.01	1
openQbf	0.44	0.22	0.01	0.22	1
orSAT	1802	901	0	901	0
QBFL-BS	0.01	0.01	0.01	0.01	1
QBFL-JW	0.01	0.01	0.01	0.01	1
QMRes	10.31	5.16	4.55	5.16	1
QSAT	0.02	0.01	0	0.01	1
QUANTOR	0	0	0	0	1
QUBE-BJ	1.96	0.98	0	0.98	1
QUBE-LRN	1.95	0.98	0.01	0.98	1
semprop	0	0	0	0	1
sSolve	0.02	0.01	0	0.01	1
WalkQSAT	0.01	0.01	0.01	0.01	1
yQuaffle	0.97	0.49	0.07	0.49	1

QBF Solver Evaluation Portal