Solver	#Ins.	akmaxsat_ls	akmaxsat	WMaxSatz+	WMaxSatz-2009	IncWMaxSatz	SAT4J-MAXSAT-2.2.0	WPM2	WMaxsat_Power	LSW_Power	wbo-1.4a-wcnf	WPM1
wmax2sat/100v/	40	38.45(40)	63.82(40)	277.17(38)	288.90(38)	373.23(35)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
wmax2sat/120v/	40	63.91(40)	95.95(40)	271.14(38)	277.74(38)	444.63(34)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
wmax2sat/140v/	40	211.42(40)	322.74(40)	594.36(36)	600.54(36)	745.99(27)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
wmax3sat/hi/	40	80.43(40)	112.20(40)	275.29(40)	276.59(40)	177.47(40)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
wmax3sat/lo/	40	1.49(40)	2.36(40)	3.99(40)	3.94(40)	2.05(40)	141.82(20)	63.08(18)	0.12(17)	0.13(14)	1.37(12)	12.91(12)
Total	200	200	200	192	192	176	20	18	17	14	12	12