Family Impl results for solvers <br> QBFEVAL'04

Solver	Total time	Mean time	Std time	Median time	IQ range time	Solved/Total
CLearn	0.06	0.01	0.01	0.01	0.01	1
CSBJ	0.06	0.01	0.01	0.01	0.01	1
GRL	0.08	0.01	0	0.01	0	1
openQbf	48.44	6.06	11.17	1.01	5.27	1
orSAT	4006.51	500.81	418.44	650.51	899.77	0.5
QBFL-BS	0.02	0	0.01	0	0.01	1
QBFL-JW	0.06	0.01	0.01	0.01	0.01	1
QMRes	0.16	0.02	0.01	0.02	0.01	1
QSAT	1990.5	248.81	380.06	12.47	532.19	0.75
QUANTOR	0.05	0.01	0.01	0.01	0.01	1
QUBE-BJ	712.72	89.09	187.9	2.24	62.78	1
QUBE-LRN	7.78	0.97	0.01	0.97	0.01	1
semprop	0.08	0.01	0.01	0.01	0.01	1
sSolve	1167.52	145.94	294.91	2.42	130.81	0.875
WalkQSAT	0.03	0	0.01	0	0.01	1
yQuaffle	0.08	0.01	0	0.01	0	1

QBF Solver Evaluation Portal