Solver	#Ins.	WPM1	wbo1.6	WPM2	sat4j-maxsat	claspMaxSat	IncWMaxSatz	WMaxSatz+	WMaxSatz-2009	akmaxsat	akmaxsat_ls
haplotyping-pedigrees	100	316.81(81)	66.94(63)	72.71(24)	108.62(20)	61.03(20)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
timetabling	26	215.99(6)	229.51(2)	209.39(6)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
upgradeability-problem	100	38.08(100)	64.05(100)	250.83(98)	200.24(23)	449.25(8)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
Total	226	187	165	128	43	28	0	0	0	0	0