Family k_path_p results for solvers <br> QBFEVAL'16

Solver	Total time	Mean time	Std time	Median time	IQ range time	Solved/Total
AIGSolve	2.95	0.3	0.17	0.32	0.29	1
aqua-f3v	4798.75	479.88	239.93	599.84	599.84	0.2
aqua-s2v	4797.72	479.77	239.88	599.76	599.75	0.2
aqua-s3o	4798.59	479.86	239.92	599.79	599.82	0.2
caqe-minisat	1.79	0.18	0.09	0.19	0.15	1
caqe-picosat	1.8	0.18	0.08	0.19	0.17	1
depqbf-v1	4745.59	474.56	237.22	592.92	593.21	0.2
depqbf-v2	2.96	0.3	0.13	0.31	0.2	1
depqbf-v3	4204.52	420.45	273.85	599.71	599.62	0.3
ghostq-cegar	4.68	0.47	0.19	0.56	0.4	1
ghostq-plain	3.45	0.35	0.15	0.37	0.27	1
hiqqer1	0.56	0.06	0.01	0.06	0.02	1
hiqqer1ldsq	0.45	0.05	0.01	0.05	0.02	1
hiqqer3	0.53	0.05	0.01	0.06	0.02	1
iprover-QBF	2257.57	225.76	141.7	275.24	319.7	0.3
iprover-QBF-bloqqer	2.05	0.21	0.08	0.22	0.16	0
qesto	0.23	0.02	0.01	0.03	0.02	1
qestos	0.23	0.02	0.01	0.03	0.02	1
qsts	0.31	0.03	0.01	0.04	0.03	1
rareqs	0.23	0.02	0.01	0.03	0.02	1
squeezebf+struqs	4305.47	430.55	259.86	599.71	598.68	0.3
struqs-10	4305.04	430.5	259.9	599.71	598.69	0.3
xb-bid-qsts	1.8	0.18	0.08	0.2	0.16	1
xb-qsts	1.77	0.18	0.08	0.19	0.15	1

QBF Solver Evaluation Portal