Family Qq3k2k1k2v80v80v80m32 results for solvers <br> QBFEVAL'06

Solver	Total time	Mean time	Std time	Median time	IQ range time	Solved/Total
2clsQ	0.09	0.01	0.01	0.01	0.01	1
GRL	0.02	0	0	0	0	1
openQbf	1.57	0.16	0.01	0.16	0.01	1
preQuantor	0.08	0.01	0.01	0	0.01	0.8
Qbfl	0.02	0	0	0	0	1
Quaffle	2008.91	200.89	246.04	0.02	497.85	0.6
QUANTOR	0.06	0.01	0.01	0	0.01	1
QUANTOR_hc	0.09	0.01	0.01	0.01	0.01	1
qube3.0	0.13	0.01	0.01	0.01	0.02	1
qube4.0	0.08	0.01	0.01	0.01	0.01	1
qube5.0	0.18	0.02	0.01	0.02	0.02	1
semprop	0.05	0.01	0.01	0.01	0.01	1
sKizzo-0.9-abs	0.01	0	0	0	0	1
sKizzo-0.9-grn	0.04	0	0.01	0	0.01	1
sKizzo-0.9-std	0.03	0	0.01	0	0	1
SQBF	0.04	0	0.01	0	0.01	1
sSolve	1.94	0.19	0.03	0.2	0.05	1
ssolve+ut	1.73	0.17	0.03	0.18	0.05	1
ssolve-ut	1.81	0.18	0.04	0.18	0.05	1
WalkQSAT	0.04	0	0.01	0	0.01	1
yQuaffle	0.08	0.01	0.01	0.01	0.01	1

QBF Solver Evaluation Portal