Family mB-t2-4qbf-5cnf-50var-100cl 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.38	0.19	0	0.19	1
orSAT	1802.02	901.01	0	901.01	0
QBFL-BS	0.02	0.01	0.01	0.01	1
QBFL-JW	0.02	0.01	0	0.01	1
QMRes	0.06	0.03	0	0.03	1
QSAT	0.02	0.01	0	0.01	1
QUANTOR	0.01	0.01	0.01	0.01	1
QUBE-BJ	1.95	0.98	0.01	0.98	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.02	0.01	0	0.01	1
yQuaffle	902.12	451.06	449.94	451.06	0.5

QBF Solver Evaluation Portal