Family Chain results for solvers <br> QBFEVAL'16

Solver	Total time	Mean time	Std time	Median time	IQ range time	Solved/Total
AIGSolve	0.11	0.01	0.01	0.01	0.01	1
aqua-f3v	0.29	0.03	0.01	0.03	0.01	1
aqua-s2v	0.29	0.03	0.01	0.03	0.01	1
aqua-s3o	0.29	0.03	0.01	0.03	0.01	1
caqe-minisat	0.94	0.09	0.04	0.1	0.06	1
caqe-picosat	0.91	0.09	0.04	0.09	0.06	1
depqbf-v1	938.03	93.8	141.97	32.22	49.11	1
depqbf-v2	1.27	0.13	0.04	0.11	0	1
depqbf-v3	0.49	0.05	0.02	0.05	0.03	1
ghostq-cegar	151	15.1	18.82	8.64	10.73	1
ghostq-plain	41.02	4.1	2.02	3.9	3.34	1
hiqqer1	0.56	0.06	0.01	0.06	0.01	1
hiqqer1ldsq	0.44	0.04	0.01	0.05	0.02	1
hiqqer3	0.55	0.06	0.01	0.06	0.02	1
iprover-QBF	15.09	1.51	0.7	1.44	1.13	1
iprover-QBF-bloqqer	1.2	0.12	0.04	0.12	0.06	1
qesto	0.1	0.01	0	0.01	0	1
qestos	0.09	0.01	0.01	0.01	0.01	1
qsts	0.35	0.04	0.02	0.04	0.02	1
rareqs	0.09	0.01	0.01	0.01	0.01	1
squeezebf+struqs	0.39	0.04	0.01	0.04	0.02	1
struqs-10	0.76	0.08	0.04	0.07	0.06	1
xb-bid-qsts	1.49	0.15	0.05	0.16	0.1	1
xb-qsts	0.96	0.1	0.04	0.09	0.07	1

QBF Solver Evaluation Portal