Solver	Total		Sat		Unsat		Unique
Solver	#	Time	#	Time	#	Time	#	Time
qbfrelay-limited-depqbf	82	13968.7	51	7089.27	31	6879.44	14	2461.27
rareqs	74	7782.52	36	4698.57	38	3083.95	3	1455.88
caqe_2017_v2	67	6684.96	44	6382.66	23	302.3	0	0
caqe_2017_v3	66	8244.28	41	6750.28	25	1494	0	0
caqe_2017_v1	66	8776.5	42	7039.92	24	1736.58	1	824.68
heretiq	58	6968.48	13	1754.23	45	5214.25	6	2363.68
qesto	58	13790.2	35	5760.1	23	8030.1	2	755.09
prefix-opt-depqbf	54	5187.86	35	1732.01	19	3455.85	0	0
QELL_unit	53	5423.12	18	1408.27	35	4014.85	0	0
QELL_default	53	5692.99	18	1576.14	35	4116.85	0	0
Qute_opt500	51	2661.01	35	1808.04	16	852.97	0	0
Qute_random	51	2670.65	35	1809.36	16	861.29	0	0
Qute_default	49	2111.22	32	1521.59	17	589.63	1	250.22
xb-qsts_xbqsts1.0	48	11071.5	39	7475.83	9	3595.66	0	0
xb-qsts_xbqsts2.0	48	11073.5	39	7477.41	9	3596.06	0	0
xb-qsts_bqsts2.0	47	10865.2	38	7438.76	9	3426.45	0	0
GhostQ-PG_cegar	41	5611.56	23	3031.75	18	2579.81	0	0
rev_qfun0.1	33	1737.27	17	493.79	16	1243.48	0	0
ijtihad_v2	33	3851.94	7	842.48	26	3009.46	0	0
ghostq-cegar	32	4144.25	19	3025.97	13	1118.28	0	0
ijtihad_v1	31	1461.48	6	12.65	25	1448.83	0	0
AIGSolve	19	2489.14	12	1624.18	7	864.96	1	320.91
qbfrelay	14	744.65	8	29.1	6	715.55	0	0
iProver-qbf-bloqqer-2017-07-27-v3	11	933.02	11	933.02	0	0	0	0
GhostQ-PG_plain	11	1689.3	7	711.88	4	977.42	0	0
HQSpre_solver	9	5.62	8	5.61	1	0.01	0	0
dynQBF-bloqqer-hqspre	8	25.5	8	25.5	0	0	0	0
iProver-qbf-2017-07-27-v3	4	165.02	4	165.02	0	0	0	0
CUED1919_NL	0	0	0	0	0	0	0	0
CUED1919_NNL	0	0	0	0	0	0	0	0

	Problematic solver
	Hors-Concours solver

QBF Solver Evaluation Portal