Solver	Total		Sat		Unsat		Unique
Solver	#	Time	#	Time	#	Time	#	Time
Caqe-hqspre	304	22434.7	129	13018	175	9416.72	0	0
Qute_random	299	21805.6	168	13588.1	131	8217.55	0	0
Qute_opt500	295	19012.9	165	11435.7	130	7577.23	0	0
depqbf_pre_QxQBH	280	23417	119	8712.42	161	14704.6	1	427.04
Qute_default	276	18462.9	136	11377.8	140	7085.13	1	247.3
PortfolioDepQBFGhostQRaReQSQute___pf	275	22245	103	5377.08	172	16867.9	1	179.53
Caqe-bloqqer	271	22139.1	113	10168.7	158	11970.3	0	0
Caqe-bloqqer-qdo	261	29794.4	104	10779.1	157	19015.3	0	0
predyndep	258	22868.8	116	8558.36	142	14310.5	3	507.23
Heretiq-simple	252	19208.9	90	9063.16	162	10145.8	0	0
Rareqs_2018	247	19642.3	93	7601.12	154	12041.2	5	1571.65
Heretiq-cube	246	16404	87	7452.04	159	8951.94	0	0
Iprover-HQSpre-Bloqqer	210	14240	79	3835	131	10405	0	0
ijtihad	204	10577.6	73	3160.87	131	7416.71	0	0
GhostQ-PG_cegar	181	15117.4	92	7630.52	89	7486.85	2	83.57
depqbf_prefix_opt_qdo	158	14855.6	60	4798.84	98	10056.7	0	0
Cued_2_2018	140	12625.5	75	4406.92	65	8218.57	0	0
Cued_3_2018	139	11487	75	4222	64	7265.01	0	0
GhostQ-PG_plain	113	8027.87	59	4145.32	54	3882.55	1	4.73

	Problematic solver
	Hors-Concours solver

QBF Solver Evaluation Portal