Family mB-t2-5qbf-5cnf-50var-500cl results for solvers <br> QBFEVAL'04

Solver	Total time	Mean time	Std time	Median time	Solved/Total
CLearn	0	0	0	0	1
CSBJ	0.01	0.01	0.01	0.01	1
GRL	0.04	0.02	0	0.02	1
openQbf	1.18	0.59	0.34	0.59	1
orSAT	1802	901	0	901	0
QBFL-BS	1571.65	785.83	115.18	785.83	0.5
QBFL-JW	905.01	452.51	448.51	452.51	0.5
QMRes	1.37	0.69	0.43	0.69	1
QSAT	1.68	0.84	0.44	0.84	1
QUANTOR	685.82	342.91	342.9	342.91	0.5
QUBE-BJ	1.96	0.98	0	0.98	1
QUBE-LRN	0	0	0	0	0
semprop	0.02	0.01	0	0.01	1
sSolve	0.02	0.01	0	0.01	1
WalkQSAT	0.01	0.01	0.01	0.01	1
yQuaffle	0.02	0.01	0.01	0.01	1

QBF Solver Evaluation Portal