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

Solver	Total time	Mean time	Std time	Median time	IQ range time	Solved/Total
2clsQ	0.15	0.02	0.01	0.01	0.02	1
GRL	0.2	0.02	0	0.02	0	1
openQbf	2.66	0.27	0.03	0.26	0.02	1
preQuantor	0.14	0.01	0.01	0.01	0.02	0.9
Qbfl	0.05	0.01	0.01	0	0	1
Quaffle	5141.13	514.11	1.69	514.33	2.57	0
QUANTOR	0.08	0.01	0.01	0.01	0.01	1
QUANTOR_hc	0.14	0.01	0.01	0.01	0.01	1
qube3.0	0.19	0.02	0.01	0.02	0.01	1
qube4.0	0.21	0.02	0.01	0.02	0.01	1
qube5.0	0.31	0.03	0.01	0.03	0.02	1
semprop	0.06	0.01	0.01	0.01	0.01	1
sKizzo-0.9-abs	0.1	0.01	0.01	0.01	0.01	1
sKizzo-0.9-grn	0.04	0	0.01	0	0.01	1
sKizzo-0.9-std	0.11	0.01	0.01	0.01	0.01	1
SQBF	0.15	0.02	0.01	0.02	0.02	1
sSolve	1.87	0.19	0.05	0.2	0.09	1
ssolve+ut	1.79	0.18	0.03	0.18	0.03	1
ssolve-ut	1.78	0.18	0.05	0.16	0.06	1
WalkQSAT	0.12	0.01	0.01	0.01	0.01	1
yQuaffle	5963.74	596.37	0.6	596.31	0.78	0

QBF Solver Evaluation Portal