Solver	#Ins.	pwbo2.1	WPM1	wbo1.6	Sat4j	ShinMaxSat	WMaxSatz+	WMaxSatz09	akmaxsat	akmaxsat_ls	iut_rr_ls
dustrial/haplotyping-pedigrees	100	84%	76%	54%	20%	11%	0%	0%	0%	0%	0%
timetabling	26	15%	23%	7%	0%	0%	0%	0%	0%	0%	0%
ustrial/upgradeability-problem	100	100%	100%	100%	33%	0%	0%	0%	0%	0%	0%