Family k_poly_p results for solvers <br> QBFEVAL'16

Solver	Total time	Mean time	Std time	Median time	IQ range time	Solved/Total
AIGSolve	3.09	0.31	0.32	0.16	0.29	1
aqua-f3v	0.16	0.02	0.01	0.02	0.01	1
aqua-s2v	0.16	0.02	0.01	0.02	0.01	1
aqua-s3o	0.16	0.02	0.01	0.02	0.01	1
caqe-minisat	0.83	0.08	0.04	0.08	0.08	1
caqe-picosat	0.81	0.08	0.04	0.08	0.08	1
depqbf-v1	0.53	0.05	0.04	0.03	0.06	1
depqbf-v2	1.98	0.2	0.09	0.21	0.1	1
depqbf-v3	3.72	0.37	0.29	0.27	0.48	1
ghostq-cegar	3.5	0.35	0.16	0.32	0.32	1
ghostq-plain	2.99	0.3	0.13	0.27	0.24	1
hiqqer1	0.42	0.04	0.01	0.04	0	1
hiqqer1ldsq	0.3	0.03	0.01	0.03	0.01	1
hiqqer3	0.42	0.04	0.01	0.04	0.02	1
iprover-QBF	360.24	36.02	35.43	17	40.94	1
iprover-QBF-bloqqer	1.08	0.11	0.04	0.11	0.07	0
qesto	0.08	0.01	0	0.01	0.01	1
qestos	0.08	0.01	0	0.01	0.01	1
qsts	0.46	0.05	0.02	0.05	0.04	1
rareqs	0.08	0.01	0	0.01	0.01	1
squeezebf+struqs	23.09	2.31	2.81	0.83	3	1
struqs-10	23.19	2.32	2.84	0.82	3	1
xb-bid-qsts	0.83	0.08	0.04	0.08	0.07	1
xb-qsts	0.77	0.08	0.04	0.07	0.07	1

QBF Solver Evaluation Portal