Family mA-t2-5qbf-5cnf-80var-2560cl results for solvers <br> QBFEVAL'06

Solver	Total time	Mean time	Std time	Median time	IQ range time	Solved/Total
2clsQ	20.77	2.08	6.19	0.01	0.01	0.9
GRL	0.57	0.06	0.05	0.05	0.02	1
openQbf	17032.53	1703.25	2571.69	50.85	103.92	0.8
preQuantor	19.6	1.96	5.87	0.01	0.01	0.8
Qbfl	59952.73	5995.27	2.41	5995.71	3.83	0
Quaffle	0.69	0.07	0.01	0.07	0.01	1
QUANTOR	188.08	18.81	2.15	18.54	2.74	0
QUANTOR_hc	192.48	19.25	2.6	18.23	1.51	0
qube3.0	0.49	0.05	0.01	0.05	0.01	1
qube4.0	0.54	0.05	0.01	0.06	0.01	1
qube5.0	0.68	0.07	0.01	0.07	0.01	1
semprop	0.24	0.02	0.01	0.02	0.01	1
sKizzo-0.9-abs	102.89	10.29	1.32	10.17	1.78	1
sKizzo-0.9-grn	103.33	10.33	1.35	10.18	1.35	1
sKizzo-0.9-std	97.13	9.71	1.25	9.64	1.47	1
SQBF	20.06	2.01	5.98	0.02	0.02	1
sSolve	11.04	1.1	0.27	1.2	0.09	1
ssolve+ut	35.76	3.58	1.23	4.19	1.47	1
ssolve-ut	1.95	0.2	0.04	0.21	0.07	1
WalkQSAT	0.3	0.03	0.01	0.03	0.01	1
yQuaffle	0.23	0.02	0.01	0.02	0	1

QBF Solver Evaluation Portal