Family s27 results for solvers <br> QBFEVAL'16

Solver	Total time	Mean time	Std time	Median time	IQ range time	Solved/Total
AIGSolve	0.03	0.01	0.01	0.01	0.01	1
aqua-f3v	0.04	0.01	0.01	0.01	0.01	1
aqua-s2v	0.04	0.01	0.01	0.01	0.01	1
aqua-s3o	0.04	0.01	0.01	0.01	0.01	1
caqe-minisat	0.65	0.16	0.16	0.12	0.28	1
caqe-picosat	0.66	0.17	0.15	0.13	0.27	1
depqbf-v1	1.27	0.32	0.46	0.07	0.59	1
depqbf-v2	2.83	0.71	0.94	0.25	1.31	1
depqbf-v3	0.24	0.06	0.03	0.08	0.04	1
ghostq-cegar	0.32	0.08	0.01	0.08	0.01	1
ghostq-plain	0.31	0.08	0.01	0.08	0.02	1
hiqqer1	1.65	0.41	0.49	0.19	0.74	1
hiqqer1ldsq	1.58	0.4	0.48	0.18	0.73	1
hiqqer3	1.66	0.42	0.5	0.19	0.75	1
iprover-QBF	224.79	56.2	31.41	72.83	39.48	1
iprover-QBF-bloqqer	0.76	0.19	0.15	0.15	0.27	0.25
qesto	0.46	0.12	0.14	0.06	0.21	1
qestos	0.46	0.12	0.14	0.06	0.21	1
qsts	0	0	0	0	0	1
rareqs	0.46	0.12	0.14	0.06	0.21	1
squeezebf+struqs	0.25	0.06	0.06	0.05	0.1	1
struqs-10	0.24	0.06	0.06	0.05	0.1	1
xb-bid-qsts	0.63	0.16	0.15	0.12	0.27	1
xb-qsts	0.63	0.16	0.15	0.12	0.27	1

QBF Solver Evaluation Portal