Solver	Total		Sat		Unsat		Unique
Solver	#	Time	#	Time	#	Time	#	Time
qfun0.1	117	10607.4	56	4485.13	61	6122.24	11	2398.47
cqesto	112	8574.74	57	4782.37	55	3792.37	0	0
QuAbS_2017	106	9105.55	48	4355.14	58	4750.41	7	1935.29
Qute_hybrid	95	14226	43	6869.27	52	7356.74	4	893.89
ghostq-cegar	89	13737.4	41	7693.15	48	6044.23	0	0
Qute_opt993	86	7005.88	40	3289.58	46	3716.3	0	0
Qute_opt617	81	7559.5	37	3263.29	44	4296.21	1	156.4
ghostq-plain	42	6027.87	16	2157.24	26	3870.63	0	0

	Problematic solver
	Hors-Concours solver

QBF Solver Evaluation Portal