Solver	Total		Sat		Unsat		Unique
Solver	#	Time	#	Time	#	Time	#	Time
sSolve	1824	26694.6	1060	14577.8	764	12116.8	39	2928.53
semprop	1655	76482.8	927	44603.2	728	31879.6	36	12977.8
WalkQSAT	1475	19709.4	785	10458.1	690	9251.32	35	2433.56
skizzo_v0.5	1422	68907.3	702	11083.8	720	57823.4	6	3791.52
QChaffLearn	1413	32784.3	768	15236.2	645	17548.1	7	2047.92
QbflHR	1388	26003.3	893	9702.13	495	16301.2	12	11.91
GRL	1368	27528.2	777	14618.9	591	12909.3	1	366.91
skizzo_v0.4	1358	52155.8	656	7365.07	702	44790.7	3	1027.44
yQuaffle	1305	41105.1	747	21233.8	558	19871.3	20	1088.96
openQbf	1272	39971.9	745	23742.9	527	16229	2	1180.99
QUANTOR	821	4588.3	624	3098.37	197	1489.93	0	0
qbfbdd	461	14758.1	333	8737.4	128	6020.67	1	821.62
QMRes	451	24164.1	415	14098.9	36	10065.2	0	0
skizzo_v0.5	346	5349.53	175	3764.85	171	1584.68	0	0
QUANTOR	318	2048.39	151	1099.58	167	948.81	4	755.48
skizzo_v0.4	310	4424.5	150	2935.19	160	1489.31	0	0
semprop	289	8333.98	132	2641.8	157	5692.18	1	46.2
QChaffLearn	268	4741.67	89	2436.57	179	2305.1	26	254.5
yQuaffle	250	7041.47	100	3095.33	150	3946.14	0	0
sSolve	243	6827.56	103	2785.8	140	4041.76	0	0
GRL	241	7889.24	97	4203.54	144	3685.7	5	2289.66
QMRes	227	5044.58	122	2878.88	105	2165.7	15	1151.64
QbflHR	208	7781.81	90	3639.6	118	4142.21	1	0.3
openQbf	201	13744.2	78	3076.64	123	10667.5	0	0
WalkQSAT	189	3922.26	96	2988.1	93	934.16	0	0
qbfbdd	106	4868.56	53	3488.26	53	1380.3	0	0

	Problematic solver
	Hors-Concours solver

QBF Solver Evaluation Portal