Family z4ml results for solvers <br> QBFEVAL'04

Solver	Total time	Mean time	Std time	Median time	IQ range time	Solved/Total
CLearn	0.08	0.01	0.01	0.01	0	1
CSBJ	0.03	0	0.01	0	0.01	1
GRL	0.05	0.01	0.01	0.01	0.01	1
openQbf	1.92	0.24	0.04	0.24	0.08	1
orSAT	0.17	0.02	0.02	0.01	0.02	1
QBFL-BS	0.17	0.02	0.01	0.02	0.01	1
QBFL-JW	0.12	0.02	0.01	0.01	0.01	1
QMRes	0.16	0.02	0	0.02	0	1
QSAT	0.06	0.01	0.01	0.01	0.01	1
QUANTOR	0.1	0.01	0.01	0.01	0.01	1
QUBE-BJ	7.8	0.98	0.01	0.98	0.01	1
QUBE-LRN	7.81	0.98	0.01	0.98	0.01	1
semprop	0.08	0.01	0.01	0.01	0	1
sSolve	0.08	0.01	0	0.01	0	1
WalkQSAT	0.13	0.02	0.01	0.02	0.01	0.625
yQuaffle	0.03	0	0.01	0	0.01	1

QBF Solver Evaluation Portal