Solver	Total		Sat		Unsat		Unique
Solver	#	Time	#	Time	#	Time	#	Time
AQME-C4.5	753	23536.3	272	13562.8	481	9973.53	0	0
AQME-1NN	750	22363.6	269	11258.7	481	11104.9	2	331.77
AQME-RIPPER	744	23608	263	9939.35	481	13668.7	3	1027.14
ncQuBE1.0	622	18966.7	222	7533.96	400	11432.7	4	917.74
ncQuBE1.1	610	15314.7	219	7197.75	391	8116.99	0	0
qSS	564	23533.4	196	14086.1	368	9447.3	1	587.71
sKizzo-0.10-qck	557	18684.2	216	10511.4	341	8172.77	5	936.33
sKizzo-0.10-std	550	22575.3	212	11362.2	338	11213.1	1	249.4
qZilla	528	20101.8	176	8928.49	352	11173.3	3	995.03
Adaptive2clsQ	418	6581.98	157	4514.39	261	2067.58	0	0
preQuel_sKizzo-0.10	415	13912.1	287	8983.43	128	4928.65	0	0
QUANTOR_2.15	405	8937.07	172	7651.29	233	1285.78	1	129.68
aigqbf_sr	320	22585.6	145	9148.89	175	13436.7	0	0
yQuaffle	308	5309.75	70	3693.45	238	1616.3	4	19.98
aigqbf_s	297	17514.4	143	8342.18	154	9172.19	0	0
squolem	119	5233.95	48	2875.96	71	2357.99	0	0
EBDDRES	76	290.44	47	264.51	29	25.93	0	0
yQuaffle	0	0	0	0	0	0	0	0
QUANTOR_2.15	0	0	0	0	0	0	0	0
squolem	0	0	0	0	0	0	0	0
aigqbf_s	0	0	0	0	0	0	0	0
aigqbf_sr	0	0	0	0	0	0	0	0
sKizzo-0.10-std	0	0	0	0	0	0	0	0
sKizzo-0.10-qck	0	0	0	0	0	0	0	0
preQuel_sKizzo-0.10	0	0	0	0	0	0	0	0
qZilla	0	0	0	0	0	0	0	0
Adaptive2clsQ	0	0	0	0	0	0	0	0
qSS	0	0	0	0	0	0	0	0
EBDDRES	0	0	0	0	0	0	0	0
ncQuBE1.0	0	0	0	0	0	0	0	0
ncQuBE1.1	0	0	0	0	0	0	0	0
AQME-RIPPER	0	0	0	0	0	0	0	0
AQME-C4.5	0	0	0	0	0	0	0	0
AQME-1NN	0	0	0	0	0	0	0	0

	Problematic solver
	Hors-Concours solver

QBF Solver Evaluation Portal