Solver	Total		Sat		Unsat		Unique
Solver	#	Time	#	Time	#	Time	#	Time
caqe-pre	409	44994.2	202	25225.6	207	19768.6	0	0
Caqe-hqspre	368	26527.9	176	14438.6	192	12089.3	0	0
depqbf_pre_QxQBH	342	26413.2	180	9977.28	162	16436	3	1099.98
Rareqs_2018	324	20337.8	164	7034.47	160	13303.3	2	636.1
Caqe-bloqqer-qdo	309	21771	156	10027.2	153	11743.8	1	462.26
Qute_rrs	304	22905.4	134	11699.9	170	11205.5	1	8.99
Qute_default	297	19970.2	128	8749.73	169	11220.5	0	0
nanoqbf_hqspre	279	16570.1	133	8779.31	146	7790.82	0	0
GhostQ___cegar_pcnf_2019	240	17196	127	10712.1	113	6483.94	3	1099.36
nanoqbf_bloqqer	228	15253.9	132	6312.3	96	8941.59	0	0
Qute_opt500	190	6670.71	99	2040.54	91	4630.17	0	0
iprover_bloqqer_schedule	190	16638.5	105	6877.16	85	9761.3	0	0
iprover_bloqqer_single	186	11545.2	115	6452.24	71	5092.96	0	0
GhostQ___plain_pcnf_2019	185	11974.5	98	7324.35	87	4650.13	4	1010.52
depqbf_prefix_opt_qdo	173	11765.9	90	5075.23	83	6690.62	0	0

	Problematic solver
	Hors-Concours solver

QBF Solver Evaluation Portal