Family k_d4_p results for solvers <br> QBFEVAL'16

Solver	Total time	Mean time	Std time	Median time	IQ range time	Solved/Total
AIGSolve	2.42	0.24	0.15	0.23	0.21	1
aqua-f3v	0.26	0.03	0.01	0.03	0.02	1
aqua-s2v	0.26	0.03	0.01	0.03	0.02	1
aqua-s3o	0.26	0.03	0.01	0.03	0.02	1
caqe-minisat	1.94	0.19	0.11	0.19	0.18	1
caqe-picosat	1.94	0.19	0.12	0.19	0.18	1
depqbf-v1	0.81	0.08	0.05	0.08	0.07	1
depqbf-v2	2.71	0.27	0.14	0.26	0.2	1
depqbf-v3	1.46	0.15	0.14	0.11	0.07	1
ghostq-cegar	5.39	0.54	0.34	0.49	0.38	1
ghostq-plain	4.26	0.43	0.23	0.42	0.31	1
hiqqer1	0.63	0.06	0.02	0.07	0.03	1
hiqqer1ldsq	0.51	0.05	0.02	0.05	0.03	1
hiqqer3	0.63	0.06	0.02	0.07	0.04	1
iprover-QBF	1798.54	179.85	148.15	127.17	139.42	0.7
iprover-QBF-bloqqer	2.18	0.22	0.11	0.21	0.17	0
qesto	0.26	0.03	0.01	0.03	0.02	1
qestos	0.27	0.03	0.01	0.03	0.02	1
qsts	0.37	0.04	0.02	0.04	0.03	1
rareqs	0.26	0.03	0.01	0.03	0.02	1
squeezebf+struqs	3270.08	327.01	267.62	392.85	598.65	0.6
struqs-10	3272.86	327.29	267.83	394.04	598.66	0.6
xb-bid-qsts	1.94	0.19	0.11	0.19	0.18	1
xb-qsts	1.87	0.19	0.11	0.18	0.18	1

QBF Solver Evaluation Portal