Solver	Total		Sat		Unsat		Unique
Solver	#	Time	#	Time	#	Time	#	Time
Quabs_2018	181	19768.9	82	10067.3	99	9701.59	1	648.61
quabs___caqe-hqspre	163	11484.8	72	7803.37	91	3681.44	3	1020.33
Cqesto_2018	160	14999.7	75	6695.77	85	8303.95	1	851.09
GhostQ_PG___cegar_qcir_2018	157	15399.4	69	7198.99	88	8200.41	0	0
quabs___caqe-bloqqer	147	8576.85	51	2775.07	96	5801.78	6	2722.63
QFUN	139	9661.31	74	6469.19	65	3192.12	5	965.27
PortfolioGhostQQfunQuAbSQute___pf2	123	9306.1	51	2823.48	72	6482.62	0	0
GhostQ_PG___plain_qcir_2018	121	12358.4	49	5898.04	72	6460.36	1	697.56
PortfolioGhostQQfunQuAbSQute___pf3	119	9698.19	49	2999.7	70	6698.49	0	0
Qute_hybrid	116	31491.6	42	7895.83	74	23595.8	0	0
Qute_opt993	114	11910.7	43	5691.67	71	6218.98	0	0
PortfolioGhostQQfunQuAbSQute___pfs	90	8638.91	47	2960.54	43	5678.37	1	72.57
Qute_opt617	80	13230.8	35	5170.64	45	8060.14	0	0

	Problematic solver
	Hors-Concours solver

QBF Solver Evaluation Portal