Solver	Total		Sat		Unsat		Unique
Solver	#	Time	#	Time	#	Time	#	Time
depqbf_pre_QxQBH	266	22239.5	161	10680.9	105	11558.6	0	0
CADET_2017	263	11001.6	142	8349.44	121	2652.19	5	107.09
predyndep	261	15003	161	4650.98	100	10352	5	592.64
ASPQ_2018	258	19139.7	153	8971.88	105	10167.8	0	0
aspq3alt	254	16150.1	151	7530.3	103	8619.8	0	0
Caqe-hqspre	253	11483.8	130	7942.41	123	3541.4	0	0
GhostQ-PG_cegar	253	13243.7	141	7569.86	112	5673.83	4	1255.71
Caqe-bloqqer-qdo	249	16294.1	142	7593.49	107	8700.6	0	0
Caqe-bloqqer	246	14674.6	151	5897.93	95	8776.64	0	0
PortfolioDepQBFGhostQRaReQSQute___pf	240	10798.3	131	5023.06	109	5775.26	1	177.75
aspq2v3	240	12801.8	150	5625.73	90	7176.1	0	0
Rareqs_2018	239	12525.3	145	5712.17	94	6813.12	5	1535.19
Qute_random	231	7714.13	136	3489.91	95	4224.22	0	0
Qute_opt500	230	7036.44	136	3502.13	94	3534.31	0	0
Qute_default	229	7047.67	119	3465.03	110	3582.64	1	256.46
Cued_3_2018	227	13536.6	131	4648.61	96	8887.98	0	0
Cued_2_2018	227	13551.3	131	4651.33	96	8899.98	0	0
Heretiq-simple	208	7944.64	106	3900.5	102	4044.14	0	0
Heretiq-cube	206	7540.83	107	4563.81	99	2977.02	0	0
GhostQ-PG_plain	176	10016.6	66	6151.01	110	3865.59	0	0
ijtihad	161	5032.66	97	2481.84	64	2550.82	0	0
Iprover-HQSpre-Bloqqer	148	2284.09	93	111.77	55	2172.32	0	0
depqbf_prefix_opt_qdo	73	7556.35	14	1823.75	59	5732.6	0	0

	Problematic solver
	Hors-Concours solver

QBF Solver Evaluation Portal