Family mB-t2-5qbf-5cnf-50var-100cl 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.01	0.01	0.01	0.01	1
openQbf	0.36	0.18	0.01	0.18	1
orSAT	1802	901	0	901	0
QBFL-BS	0.02	0.01	0	0.01	1
QBFL-JW	0.02	0.01	0.01	0.01	1
QMRes	0.08	0.04	0	0.04	1
QSAT	0.01	0.01	0.01	0.01	1
QUANTOR	0	0	0	0	1
QUBE-BJ	1.94	0.97	0	0.97	1
QUBE-LRN	0	0	0	0	0
semprop	0.02	0.01	0	0.01	1
sSolve	0.01	0.01	0.01	0.01	1
WalkQSAT	0.01	0.01	0.01	0.01	1
yQuaffle	7.53	3.77	2.59	3.77	1

QBF Solver Evaluation Portal