Family mB-t2-5qbf-5cnf-50var-800cl 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.03	0.02	0.01	0.02	1
openQbf	0.47	0.24	0.02	0.24	1
orSAT	0.02	0.01	0	0.01	1
QBFL-BS	544.47	272.24	151.85	272.24	1
QBFL-JW	0.91	0.46	0.08	0.46	1
QMRes	30.73	15.37	11.68	15.37	1
QSAT	0.86	0.43	0.33	0.43	1
QUANTOR	75.05	37.53	34.92	37.53	0.5
QUBE-BJ	1.95	0.98	0.01	0.98	1
QUBE-LRN	0	0	0	0	0
semprop	0.02	0.01	0.01	0.01	1
sSolve	0.01	0.01	0.01	0.01	1
WalkQSAT	0.03	0.02	0.01	0.02	1
yQuaffle	0.02	0.01	0	0.01	1

QBF Solver Evaluation Portal