Solver	#Ins.	WPM1	wbo1.6	WPM2	sat4j-maxsat	claspMaxSat	IncWMaxSatz	WMaxSatz+	WMaxSatz-2009	akmaxsat	akmaxsat_ls
dustrial/haplotyping-pedigrees	100	81%	63%	24%	20%	20%	0%	0%	0%	0%	0%
timetabling	26	23%	7%	23%	0%	0%	0%	0%	0%	0%	0%
ustrial/upgradeability-problem	100	100%	100%	98%	23%	8%	0%	0%	0%	0%	0%