Family k_grz_n results for solvers <br> QBFEVAL'16

Solver	Total time	Mean time	Std time	Median time	IQ range time	Solved/Total
AIGSolve	9.07	0.91	1.23	0.24	0.35	1
aqua-f3v	1801.97	180.2	274.73	0.27	1.52	0.7
aqua-s2v	1801.27	180.13	274.78	0.2	0.91	0.7
aqua-s3o	1801.69	180.17	274.77	0.19	1.27	0.7
caqe-minisat	2.37	0.24	0.19	0.14	0.15	1
caqe-picosat	2.39	0.24	0.2	0.14	0.16	1
depqbf-v1	611.42	61.14	91.52	0.76	6.2	1
depqbf-v2	3.16	0.32	0.23	0.21	0.2	1
depqbf-v3	2.75	0.28	0.26	0.11	0.09	1
ghostq-cegar	4.55	0.46	0.34	0.27	0.24	1
ghostq-plain	5.18	0.52	0.45	0.25	0.21	1
hiqqer1	0.68	0.07	0.03	0.05	0.02	1
hiqqer1ldsq	0.57	0.06	0.03	0.04	0.03	1
hiqqer3	0.69	0.07	0.03	0.05	0.02	1
iprover-QBF	469.16	46.92	50.49	10.04	94.47	1
iprover-QBF-bloqqer	2.72	0.27	0.21	0.16	0.14	1
qesto	0.35	0.04	0.03	0.02	0.02	1
qestos	0.34	0.03	0.03	0.02	0.02	1
qsts	0.26	0.03	0.01	0.02	0	1
rareqs	0.33	0.03	0.03	0.02	0.02	1
squeezebf+struqs	1805.64	180.56	274.42	0.24	5.54	0.7
struqs-10	1805.46	180.55	274.41	0.23	5.53	0.7
xb-bid-qsts	2.4	0.24	0.2	0.14	0.14	1
xb-qsts	2.4	0.24	0.2	0.13	0.15	1

QBF Solver Evaluation Portal