Solver	Total		Sat		Unsat		Unique
Solver	#	Time	#	Time	#	Time	#	Time
aqme-10	434	32091.1	184	15825.6	250	16265.5	3	909.03
QuBE7	410	52142.1	189	35489.7	221	16652.4	9	1402.62
QuBE7-m	393	40786.3	166	21338.5	227	19447.8	0	0
QuBE7-c	389	34926.8	164	18293.8	225	16632.9	0	0
depqbf	370	21515.3	164	13771.8	206	7743.51	1	434.81
qmaiga	361	43058.1	180	20696.6	181	22361.4	1	859
depqbf-pre	356	18995.9	172	12453.8	184	6542.11	0	0
AIGSolve	329	22786.6	171	12091.5	158	10695.1	1	933.39
struqs-10	240	32839.7	109	13805.5	131	19034.2	1	589.23
nenofex-qbfeval10	225	13786.9	109	8241.86	116	5545.07	3	350.89
quantor-3.1	205	6711.37	100	4130.62	105	2580.75	1	585.96
aqme-10	0	0	0	0	0	0	0	0
struqs-10	0	0	0	0	0	0	0	0
AIGSolve	0	0	0	0	0	0	0	0
depqbf-pre	0	0	0	0	0	0	0	0
depqbf	0	0	0	0	0	0	0	0
nenofex-qbfeval10	0	0	0	0	0	0	0	0
qmaiga	0	0	0	0	0	0	0	0
quantor-3.1	0	0	0	0	0	0	0	0
QuBE7	0	0	0	0	0	0	0	0
QuBE7-c	0	0	0	0	0	0	0	0
QuBE7-m	0	0	0	0	0	0	0	0

	Problematic solver
	Hors-Concours solver

QBF Solver Evaluation Portal