Solver	#Ins.	CCLS2akms	ahmaxsat-ls	ISAC+2014-wpms	ahmaxsat	WMaxSatz+	WMaxSatz09	scip-maxsat	ILP-2013	QMS-g3-auto	MaxHS	MSCG	QMS-g2-wpms	toysat_ls	maxSatUZK	clasp	Open-WBO-SU	WBO	Open-WBO	wmifumax	toysat	SAT4J-ms	Eva500a	WPM-2014-co	optimax2-g	optimax2w-r
wmax2sat/100v	40	0.70(100)	0.93(100)	1.53(100)	1.43(100)	13.22(100)	13.53(100)	0.00(0)	0.32(2)	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)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
wmax2sat/120v	40	1.08(100)	1.14(100)	2.14(100)	1.59(100)	12.36(100)	12.58(100)	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)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
wmax2sat/140v	40	3.70(100)	2.81(100)	3.82(100)	4.47(100)	23.03(95)	23.25(95)	0.00(0)	2.06(2)	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)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
wmax3sat/hi	40	2.58(100)	4.14(100)	3.88(100)	5.38(100)	11.11(100)	11.16(100)	1.39(2)	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)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
wpmax2sat/hi	30	1.50(100)	0.44(100)	0.69(100)	0.67(100)	2.74(100)	2.73(100)	0.87(6)	2.83(10)	0.01(3)	0.01(3)	0.01(3)	0.01(3)	0.01(3)	0.01(3)	0.01(3)	0.01(3)	0.01(3)	0.01(3)	0.01(3)	0.01(3)	0.01(3)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
wpmax2sat/lo	30	0.13(100)	0.04(100)	0.29(100)	0.05(100)	0.07(100)	0.07(100)	6.10(100)	5.15(100)	0.00(0)	0.17(13)	2.96(10)	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)	0.00(0)
wpmax2sat/me	30	0.66(100)	0.20(100)	0.44(100)	0.29(100)	0.74(100)	0.75(100)	13.86(36)	6.02(30)	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)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
wpmax3sat/hi	30	2.55(100)	3.88(100)	2.84(100)	4.88(100)	5.03(100)	4.99(100)	11.47(43)	14.58(36)	6.73(20)	0.00(0)	0.34(3)	5.37(10)	1.24(3)	2.92(3)	3.31(3)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.45(3)	0.00(0)	0.00(0)	0.00(0)
Total	280	800	800	800	800	795	795	189	181	23	16	16	13	6	6	6	3	3	3	3	3	3	3	0	0	0