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

Solver	Total time	Mean time	Std time	Median time	IQ range time	Solved/Total
2clsQ	493.02	49.3	67.03	0.01	43.52	0.8
GRL	0.14	0.01	0.01	0.02	0.02	1
openQbf	3.95	0.4	0.27	0.32	0.15	1
preQuantor	738.13	73.81	105.15	0.01	41.48	0.5
Qbfl	59.55	5.96	6.81	2.71	5.34	1
Quaffle	0.19	0.02	0.01	0.02	0.01	1
QUANTOR	248.07	24.81	26.84	17.03	20.99	0.2
QUANTOR_hc	250.72	25.07	26.93	17.39	19.94	0.2
qube3.0	0.19	0.02	0.01	0.02	0.01	1
qube4.0	0.25	0.03	0.01	0.03	0.02	1
qube5.0	0.3	0.03	0.01	0.03	0.02	1
semprop	0.05	0.01	0.01	0	0.01	1
sKizzo-0.9-abs	2	0.2	0.35	0.08	0.06	1
sKizzo-0.9-grn	2.02	0.2	0.35	0.09	0.06	1
sKizzo-0.9-std	2.07	0.21	0.37	0.09	0.06	1
SQBF	490.6	49.06	67.04	0.02	41.16	1
sSolve	2.72	0.27	0.1	0.25	0.2	1
ssolve+ut	2.66	0.27	0.11	0.23	0.16	1
ssolve-ut	1.82	0.18	0.03	0.19	0.03	1
WalkQSAT	0.09	0.01	0.01	0.01	0.01	1
yQuaffle	0.09	0.01	0.01	0.01	0.01	1

QBF Solver Evaluation Portal