Family DFlipFlop results for solvers <br> QBFEVAL'05

Solver	Total time	Mean time	Std time	Median time	IQ range time	Solved/Total
GRL	5.38	0.54	0.69	0.2	0.45	1
openQbf	15.89	1.59	1.58	0.91	1.15	1
qbfbdd	58.39	5.84	10.6	0.36	2.04	1
QbflHR	3.86	0.39	0.55	0.09	0.21	1
QChaffLearn	2.97	0.3	0.37	0.11	0.24	0.4
QMRes	3681.24	368.12	435.11	34.42	898.83	0.2
QUANTOR	3.87	0.39	0.5	0.14	0.32	1
semprop	7.8	0.78	1.08	0.21	0.6	1
skizzo_v0.4	6.01	0.6	0.76	0.21	0.55	1
skizzo_v0.5	6.02	0.6	0.74	0.24	0.52	1
sSolve	2.75	0.28	0.35	0.1	0.24	1
WalkQSAT	3.78	0.38	0.39	0.22	0.53	0.8
yQuaffle	4.56	0.46	0.59	0.17	0.37	1

QBF Solver Evaluation Portal