Family k_grz_p results for solvers <br> QBFEVAL'16

Solver	Total time	Mean time	Std time	Median time	IQ range time	Solved/Total
AIGSolve	5.72	0.57	0.35	0.48	0.61	1
aqua-f3v	1263.28	126.33	236.98	3.37	24.32	0.8
aqua-s2v	1262.24	126.22	237.06	2.87	18.67	0.8
aqua-s3o	1258.09	125.81	237.14	3.91	21.93	0.8
caqe-minisat	2.08	0.21	0.08	0.21	0.16	1
caqe-picosat	2.07	0.21	0.08	0.2	0.17	1
depqbf-v1	375.31	37.53	45.2	8.81	46.1	1
depqbf-v2	2.81	0.28	0.1	0.31	0.19	1
depqbf-v3	2.04	0.2	0.1	0.19	0.15	1
ghostq-cegar	5.01	0.5	0.25	0.46	0.38	1
ghostq-plain	5.01	0.5	0.27	0.42	0.43	1
hiqqer1	0.63	0.06	0.02	0.06	0.03	1
hiqqer1ldsq	0.52	0.05	0.01	0.05	0.03	1
hiqqer3	0.64	0.06	0.02	0.06	0.03	1
iprover-QBF	422.38	42.24	18.87	40.58	30.19	1
iprover-QBF-bloqqer	2.29	0.23	0.08	0.22	0.16	0
qesto	0.25	0.03	0.01	0.03	0.02	1
qestos	0.25	0.03	0.01	0.03	0.02	1
qsts	0.29	0.03	0.01	0.03	0.01	1
rareqs	0.25	0.03	0.01	0.03	0.02	1
squeezebf+struqs	3660.92	366.09	254.93	496.97	597.49	0.5
struqs-10	3661.81	366.18	254.88	497.18	597.48	0.5
xb-bid-qsts	2.04	0.2	0.08	0.2	0.16	1
xb-qsts	1.98	0.2	0.08	0.19	0.17	1

QBF Solver Evaluation Portal