Solver	Total		Sat		Unsat		Unique
Solver	#	Time	#	Time	#	Time	#	Time
caqe_2017_v2	286	20825.2	86	6807.57	200	14017.6	0	0
caqe_2017_v3	271	19935.1	84	8195.79	187	11739.3	0	0
Qute_random	250	22330.1	77	8875.44	173	13454.6	0	0
Qute_opt500	249	21245.5	77	8604.45	172	12641	0	0
AIGSolve	246	18098.4	78	5685.02	168	12413.4	12	777.62
Qute_default	246	19086.2	67	6350.96	179	12735.2	0	0
rareqs	245	19499.8	73	5684.27	172	13815.5	1	480.97
qbfrelay-limited-depqbf	236	18342.4	79	6011.29	157	12331.1	1	715.8
rev_qfun0.1	236	19375.7	89	5723.7	147	13652	4	1406.47
heretiq	232	18827.3	67	7926.39	165	10901	1	835
caqe_2017_v1	230	18773.7	75	5668.16	155	13105.6	0	0
qbfrelay	224	14894.2	77	3657.7	147	11236.5	0	0
dynQBF-bloqqer-hqspre	223	15336	68	2406.87	155	12929.1	3	470.28
ijtihad_v2	207	11661.3	55	2559.76	152	9101.52	0	0
ijtihad_v1	205	11679.9	54	2983.89	151	8695.99	0	0
HQSpre_solver	205	13432.3	63	5406.01	142	8026.32	0	0
QELL_unit	191	11240.3	56	4429.34	135	6810.97	0	0
QELL_default	191	12624.2	54	4198.9	137	8425.27	0	0
xb-qsts_xbqsts2.0	191	17602.5	58	6723.96	133	10878.5	0	0
xb-qsts_xbqsts1.0	191	17609	58	6724.34	133	10884.6	0	0
GhostQ-PG_cegar	190	16914.4	70	7001.93	120	9912.46	1	25.93
xb-qsts_bqsts2.0	188	15097.5	56	4931.72	132	10165.8	0	0
GhostQ-PG_plain	163	13512.4	54	4231.14	109	9281.28	2	929.62
prefix-opt-depqbf	157	11596.9	41	2652.72	116	8944.14	0	0
ghostq-cegar	156	11634.7	61	5116.05	95	6518.68	0	0
iProver-qbf-bloqqer-2017-07-27-v3	150	14442.7	47	4278.55	103	10164.2	0	0
qesto	136	11306	45	4202.79	91	7103.21	0	0
iProver-qbf-2017-07-27-v3	108	14653.2	18	2273.93	90	12379.2	0	0
CUED1919_NL	8	1342.56	4	106.86	4	1235.7	0	0
CUED1919_NNL	7	547.98	4	100.5	3	447.48	0	0

	Problematic solver
	Hors-Concours solver

QBF Solver Evaluation Portal