Solver	#Ins.	akmaxsat_ls	akmaxsat	WMaxSatz+	WMaxSatz-2009	IncWMaxSatz	WPM1	WPM2	claspMaxSat	sat4j-maxsat	wbo1.6
wmax2sat/100v	40	24.90(40)	43.93(40)	268.50(38)	279.64(38)	372.80(35)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
wmax2sat/120v	40	38.75(40)	65.06(40)	300.44(39)	307.46(39)	444.38(34)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
wmax2sat/140v	40	134.56(40)	204.63(40)	575.69(36)	581.00(36)	745.51(27)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
wmax3sat/hi	40	82.84(40)	114.03(40)	269.98(40)	271.22(40)	177.41(40)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
Total	160	160	160	153	153	136	0	0	0	0	0