Family mB-t2-2qbf-5cnf-100var-1600cl 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.02	0.01	0	0.01	1
GRL	0.07	0.04	0.01	0.04	1
openQbf	0.78	0.39	0.02	0.39	1
orSAT	1802.02	901.01	0.01	901.01	0
QBFL-BS	0.04	0.02	0	0.02	1
QBFL-JW	0.03	0.02	0.01	0.02	1
QMRes	1802.05	901.03	0.01	901.03	0
QSAT	0.06	0.03	0	0.03	1
QUANTOR	21.56	10.78	0.01	10.78	0
QUBE-BJ	2.01	1.01	0.03	1.01	1
QUBE-LRN	0	0	0	0	0
semprop	0.02	0.01	0	0.01	1
sSolve	0.03	0.02	0.01	0.02	1
WalkQSAT	0.03	0.02	0.01	0.02	1
yQuaffle	0.04	0.02	0	0.02	1

QBF Solver Evaluation Portal