Family Q_3_3 results for solvers <br> QBFEVAL'16

Solver	Total time	Mean time	Std time	Median time	IQ range time	Solved/Total
aqua-f3v	29991.27	599.83	0.03	599.82	0	0
aqua-s2v	29394.97	587.9	83.45	599.82	0	0.02
aqua-s3o	29992.7	599.85	0.05	599.82	0.1	0
caqe-minisat	29987.31	599.75	0.04	599.73	0.06	0
caqe-picosat	29990.43	599.81	0.04	599.81	0.03	0
depqbf-v1	29677.83	593.56	0.99	593.52	0.6	0
depqbf-v2	29668.55	593.37	0.36	593.47	0.59	0
depqbf-v3	29986.72	599.73	0.04	599.71	0	0
hiqqer1	29987.5	599.75	0.05	599.71	0.1	0
hiqqer1ldsq	29987.9	599.76	0.05	599.71	0.1	0
hiqqer3	29987.7	599.75	0.05	599.71	0.1	0
iprover-QBF	15000.83	300.02	23.94	297.45	23.8	0
iprover-QBF-bloqqer	14376.25	287.53	29.57	281.7	42.7	0
qesto	29985.91	599.72	0.03	599.71	0	0
qestos	29991.33	599.83	0.06	599.81	0.01	0
qsts	29986.55	599.73	0.04	599.71	0.01	0
rareqs	29989.11	599.78	0.05	599.81	0.1	0
squeezebf+struqs	29985.5	599.71	0	599.71	0	0
struqs-10	29985.71	599.71	0.02	599.71	0	0
xb-bid-qsts	23139.96	462.8	243.65	599.71	567.78	0.24
xb-qsts	29986.2	599.72	0.03	599.71	0.01	0

QBF Solver Evaluation Portal