Family ToiletG results for solvers <br> QBFEVAL'04

Solver	Total time	Mean time	Std time	Median time	IQ range time	Solved/Total
CLearn	0.05	0.01	0.01	0.01	0.01	1
CSBJ	0.07	0.01	0	0.01	0	1
GRL	0.03	0	0.01	0	0	1
openQbf	1.5	0.21	0.03	0.22	0.06	1
orSAT	154.53	22.08	49.2	0.03	0.69	0.857
QBFL-BS	0.07	0.01	0.01	0.01	0.01	1
QBFL-JW	0.06	0.01	0.01	0.01	0.01	1
QMRes	0.09	0.01	0.01	0.01	0.02	1
QSAT	0.07	0.01	0.01	0.01	0.01	1
QUANTOR	0.05	0.01	0.01	0.01	0.01	1
QUBE-BJ	6.77	0.97	0.01	0.97	0.01	1
QUBE-LRN	6.84	0.98	0.01	0.98	0.01	1
semprop	0.04	0.01	0.01	0.01	0.01	1
sSolve	0.05	0.01	0.01	0.01	0.01	1
WalkQSAT	0.06	0.01	0.01	0.01	0.01	1
yQuaffle	0.11	0.02	0.01	0.02	0.02	1

QBF Solver Evaluation Portal