Winners per category

Sequential Application SAT Track

#	Solver version	Author(s)	#solved
1	minisat_blbd	Jingchao Chen	109
2	Riss BlackBox	Enrique Matos Alfonso and Norbert Manthey	107
3	SWDiA5BY	Chanseok Oh	106

Sequential Application Certified UNSAT Track

#	Solver version	Author(s)	#solved
1	Lingeling (druplig)	Armin Biere	130
2	glucose	Gilles Audemard and Laurent Simon	123
3	SWDiA5BY	Chanseok Oh	121

Sequential Application SAT+UNSAT Track

#	Solver version	Author(s)	#solved
1	Lingeling	Armin Biere	231
2	SWDiA5BY	Chanseok Oh	228
3	Riss BlackBox	Enrique Matos Alfonso and Norbert Manthey	226

Sequential Hard-Combinatorial SAT Track

#	Solver version	Author(s)	#solved
1	SparrowToRiss	Adrian Balint and Norbert Manthey	107
2	CCAnr+glucose	Shaowei Cai, Chuan Luo, and Kaile Su	106
3	SGSeq	Chumin Li, Hua Jiang, and Ruchu Xu	104

Sequential Hard-Combinatorial Certified UNSAT Track

#	Solver version	Author(s)	#solved
1	Riss BlackBox	Enrique Matos Alfonso and Norbert Manthey	105
2	Lingeling (druplig)	Armin Biere	96
3	glucose	Gilles Audemard and Laurent Simon	92

Sequential Hard-Combinatorial SAT+UNSAT Track

#	Solver version	Author(s)	#solved
1	glueSplit_clasp	Jingchao Chen	208
2	Lingeling	Armin Biere	207
3	SparrowToRiss	Adrian Balint and Norbert Manthey	206

Sequential Random SAT Track

#	Solver version	Author(s)	#solved
1	Dimetheus	Oliver Gableske	115
2	BalancedZ	Chong Huang, Chumin Li, and Ruchu Xu	101
3	CSCCSat2014	Chuan Luo, Shaowei Cai, Wei Wu, and Kaile Su	98

Parallel Application SAT+UNSAT Track

#	Solver version	Author(s)	#solved
1	Plingeling	Armin Biere	277
2	PeneLoPe	Gilles Audemard, Benoît Hoessen, Saïd Jabbour, Jean-Marie Lagniez, Cédric Piette	248
3	Treengeling	Armin Biere	248

Parallel Hard-combinatorial SAT+UNSAT Track

#	Solver version	Author(s)	#solved
1	Treengeling	Armin Biere	227
2	Plingeling	Armin Biere	221
3	pmcSAT 2.0	Ricardo Marques, Luís Guerra e Silva, Paulo Flores and Luís Miguel Silveira	205

Parallel Random SAT Track

#	Solver version	Author(s)	#solved
1	pprobSAT	Adrian Balint and Uwe Schöning	108
2	Plingeling	Armin Biere	106
3	CSCCSat2014	Chuan Luo, Shaowei Cai, Wei Wu, and Kaile Su	95

MiniSAT-Hack Track (Application SAT+UNSAT)

#	Solver version	Author(s)	#solved
1	MiniSat_HACK_999ED	Chanseok Oh	222
2	minisat_blbd	Jingchao Chen	213
3	ROKKminisat	Takeru Yasumoto	191