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

Solver	Total time	Mean time	Std time	Median time	Solved/Total
CLearn	0.02	0.01	0	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.51	0.26	0.02	0.26	1
orSAT	0.03	0.02	0.01	0.02	1
QBFL-BS	1802.01	901.01	0.01	901.01	0
QBFL-JW	13.87	6.94	5.59	6.94	1
QMRes	1.06	0.53	0.01	0.53	1
QSAT	0.35	0.18	0.02	0.18	1
QUANTOR	0.02	0.01	0	0.01	1
QUBE-BJ	2.01	1.01	0.04	1.01	1
QUBE-LRN	0	0	0	0	0
semprop	0.01	0.01	0.01	0.01	1
sSolve	0.02	0.01	0	0.01	1
WalkQSAT	0.01	0.01	0.01	0.01	1
yQuaffle	0.03	0.02	0.01	0.02	1

QBF Solver Evaluation Portal