Solver	#Ins.	ckmax-small	ISAC+-wms	Maxsatz2013f	WMaxSatz+	WMaxSatz09	ahmaxsat	ILP-2013	scip-maxsat	MSUnCore	MaxHS	Toulbar2	WPM1-2013	WPM2-2013	glpk-maxsat	optimax-ni	optimax	toysat	wbo2.1-wcnf	wmifumax
wmax2sat/100v	40	22.65(40)	23.31(40)	80.86(40)	240.98(40)	244.20(40)	785.99(18)	222.46(1)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
wmax2sat/120v	40	28.94(40)	34.68(40)	74.88(40)	224.31(40)	227.84(40)	856.10(21)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
wmax2sat/140v	40	62.58(40)	106.83(40)	203.48(40)	439.01(38)	443.99(38)	890.90(5)	1480.46(1)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
wmax3sat/hi	40	104.92(40)	66.02(40)	73.70(40)	200.80(40)	202.54(40)	680.06(34)	0.00(0)	670.25(1)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
Total	160	160	160	160	158	158	78	2	1	0	0	0	0	0	0	0	0	0	0	0