Family mB-t2-5qbf-5cnf-100var-400cl 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	0	0	0	1
GRL	0.03	0.02	0.01	0.02	1
openQbf	0.6	0.3	0.04	0.3	1
orSAT	1802.01	901.01	0.01	901.01	0
QBFL-BS	0.32	0.16	0.15	0.16	1
QBFL-JW	0.39	0.2	0.2	0.2	1
QMRes	1.55	0.78	0.15	0.78	1
QSAT	0.04	0.02	0.02	0.02	1
QUANTOR	0.02	0.01	0	0.01	1
QUBE-BJ	1.96	0.98	0	0.98	1
QUBE-LRN	0	0	0	0	0
semprop	0	0	0	0	1
sSolve	0.02	0.01	0	0.01	1
WalkQSAT	0.01	0.01	0.01	0.01	1
yQuaffle	1802	901	0	901	0

QBF Solver Evaluation Portal