Solver	#Ins.	ISAC+-wpms	WMaxSatz09	WMaxSatz+	ckmax-small	Maxsatz2013f	scip-maxsat	Toulbar2	ILP-2013	glpk-maxsat	MaxHS	MSUnCore	QMaxSAT2-g	optimax-ni	optimax	QMaxSAT2-m	wmifumax	wbo2.1-wcnf	pwbo2.3-wpms	toysat	WPM1-2013	WPM2-2013
wpmax2sat/hi	30	11.00(30)	50.00(30)	50.16(30)	13.71(30)	13.10(30)	328.09(2)	708.17(3)	529.63(3)	0.38(1)	0.00(0)	0.01(1)	0.00(0)	0.01(1)	0.01(1)	0.00(0)	0.01(1)	0.01(1)	0.01(1)	1.90(1)	0.00(0)	0.00(0)
wpmax2sat/lo	30	4.07(30)	1.44(30)	1.47(30)	1.86(30)	0.63(30)	149.97(30)	137.82(30)	96.62(30)	342.46(12)	69.02(5)	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)
wpmax2sat/me	30	6.47(30)	13.98(30)	14.20(30)	7.00(30)	4.40(30)	877.26(12)	859.15(10)	379.17(9)	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)
wpmax3sat/hi	30	49.30(30)	90.85(30)	91.45(30)	280.05(29)	0.00(0)	536.52(13)	607.79(11)	640.84(10)	0.00(0)	0.00(0)	181.90(2)	785.98(3)	737.18(1)	759.47(1)	823.76(2)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
Total	120	120	120	120	119	90	57	54	52	13	5	3	3	2	2	2	1	1	1	1	0	0