Solver	Total		Sat		Unsat		Unique
Solver	#	Time	#	Time	#	Time	#	Time
AIGSolve	37	1140.01	23	1058.88	14	81.13	19	475.15
QuBE7-m	16	21458.5	14	3051.32	2	18407.2	0	0
QuBE7-c	16	27207.1	13	3561.74	3	23645.3	0	0
aqme-10	11	30132.4	8	14932.5	3	15200	0	0
QuBE7	9	80570.7	6	36532.3	3	44038.4	0	0
struqs-10	5	26257.3	5	26257.3	0	0	0	0
quantor-3.1	5	57960.9	2	2209.2	3	55751.7	0	0
depqbf-pre	4	33371.9	2	3828.95	2	29543	0	0
depqbf	4	41448	2	634.99	2	40813	0	0
nenofex-qbfeval10	3	30194.2	1	250	2	29944.2	0	0
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
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