Solver	#Ins.	wbo-1.4a-wcnf	IncWMaxSatz	WPM2	WPM1	SAT4J-MAXSAT-2.2.0	akmaxsat	akmaxsat_ls	LSW_Power	WMaxSatz+	WMaxSatz-2009	WMaxsat_Power
timetabling/	32	81.98(7)	0.00(0)	117.75(11)	87.90(8)	263.17(4)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
upgradeability-problem/	100	158.56(100)	147.05(88)	968.40(48)	274.13(50)	236.36(24)	851.02(14)	1073.41(14)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
Total	132	107	88	59	58	28	14	14	0	0	0	0