Solver	Total		Sat		Unsat		Unique
Solver	#	Time	#	Time	#	Time	#	Time
GhostQ-PG_cegar	246	10736	141	6909.24	105	3826.8	3	1178.17
CADET_2017	241	9276.17	134	7529.46	107	1746.71	5	106.18
caqe_2017_v2	230	11755.1	117	5122.23	113	6632.89	0	0
caqe_2017_v3	230	11766.3	117	5130.78	113	6635.5	0	0
rareqs	229	10833.1	139	5140.59	90	5692.51	1	106.89
ASPQ2	228	8996.81	145	4981.43	83	4015.38	6	948.28
caqe_2017_v1	228	15303.5	141	8476.27	87	6827.28	0	0
dynQBF-bloqqer-hqspre	210	7097.44	142	2376.55	68	4720.89	0	0
xb-qsts_bqsts2.0	209	10291.7	132	7822.38	77	2469.3	0	0
qesto	208	10340	132	6384.94	76	3955.1	0	0
xb-qsts_xbqsts2.0	208	10996.3	132	7953.58	76	3042.69	0	0
xb-qsts_xbqsts1.0	208	11008	132	7958.92	76	3049.05	0	0
DynQBF-bloqqer-hqspre-it	207	7265.3	139	2248.07	68	5017.23	0	0
qbfrelay-limited-depqbf	207	18477.1	122	11335.9	85	7141.22	0	0
DynQBF-bloqqer-variant	200	5166.79	134	2219.5	66	2947.29	2	484.36
qbfrelay	198	2362.54	140	1444.2	58	918.34	0	0
heretiq	192	5618.61	103	2496.97	89	3121.64	0	0
GhostQ-PG_plain	185	8239.49	79	5025.16	106	3214.33	0	0
rev_qfun0.1	176	5484.06	122	3386.8	54	2097.26	0	0
ijtihad_v2	164	5557.63	99	4250.96	65	1306.67	0	0
ijtihad_v1	161	4344.53	96	2013.21	65	2331.32	0	0
iProver-qbf-bloqqer-2017-07-27-v3	125	584.31	93	542.18	32	42.13	0	0
QELL_unit	104	9846.45	43	5202.41	61	4644.04	0	0
QELL_default	103	8484.74	41	3581.03	62	4903.71	1	2.18
ghostq-cegar	76	9162.22	45	6117.01	31	3045.21	0	0
no-prefix-opt-depqbf	74	8030.01	19	2090.97	55	5939.04	0	0
CUED1919_NL	73	9493.36	38	7359.17	35	2134.19	0	0
CUED1919_NNL	70	8972.15	35	6149.5	35	2822.65	0	0
iProver-qbf-2017-07-27-v3	16	536.12	11	19.92	5	516.2	0	0

	Problematic solver
	Hors-Concours solver

QBF Solver Evaluation Portal