Solver	#Ins.	CCLS2akms	CCEHC2akms	ahms-ls-1.68	ahms-ls-1.55	ISAC+-2015-wpms	ahms-1.68	ahms-1.55	WMaxSatz+	WMaxSatz09	ILP-2015	mscg2015b	QMSAT15UC	QMSAT14	WPM3-2015-co	mscg2015a	MaxHS	LMHS-C	Open-WBO	maxino-kdyn	LMHS-I	toysat_ls	maxino-k16	toysat	msUZK-nopp	Open-WBO-L	optiriss-sel	optiriss-def	ratselfax-cnf	ratselfax-cnfc4	msUZK-pp
dom/abrame-habet/wmax2sat/120v	50	38.26(50)	39.70(50)	46.82(50)	48.29(50)	39.12(50)	90.45(50)	79.74(50)	282.33(45)	286.08(45)	1100.12(4)	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)	0.00(0)
dom/abrame-habet/wmax2sat/140v	50	143.80(49)	143.93(49)	141.27(49)	119.38(48)	141.93(49)	194.30(48)	126.73(46)	470.00(41)	473.24(41)	535.96(3)	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)	0.00(0)
dom/abrame-habet/wmax2sat/160v	45	504.89(36)	507.85(36)	443.07(37)	477.83(37)	417.53(29)	445.99(32)	418.82(31)	573.50(15)	481.64(14)	1051.34(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)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
dom/abrame-habet/wmax2sat/180v	44	463.88(32)	467.25(32)	459.78(39)	388.24(36)	428.00(27)	521.70(36)	513.01(33)	358.78(16)	355.05(16)	1280.75(4)	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)	0.00(0)
dom/abrame-habet/wmax2sat/200v	49	515.07(38)	516.40(38)	325.59(44)	372.36(44)	526.78(36)	381.32(41)	387.65(40)	461.08(19)	528.76(20)	628.70(6)	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)	0.00(0)
dom/abrame-habet/wmax3sat/110v	50	447.05(40)	446.47(40)	402.18(30)	352.60(29)	446.06(40)	359.09(28)	364.95(28)	390.18(24)	385.19(24)	681.70(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)	0.00(0)	0.00(0)
ndom/abrame-habet/wmax3sat/70v	45	404.81(41)	408.36(41)	430.51(38)	436.43(38)	405.13(41)	533.78(38)	507.40(37)	496.44(26)	500.58(26)	655.14(4)	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)	0.00(0)
ndom/abrame-habet/wmax3sat/90v	49	445.33(35)	446.58(35)	433.67(27)	439.95(27)	445.32(35)	498.53(27)	504.96(27)	343.07(20)	341.41(20)	1172.49(4)	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)	0.00(0)
wmax2sat/100v	40	12.66(40)	13.98(40)	16.37(40)	17.82(40)	13.57(40)	27.78(40)	28.28(40)	237.46(40)	243.24(40)	1197.94(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)	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	19.66(40)	21.06(40)	21.80(40)	21.85(40)	20.41(40)	34.91(40)	32.61(40)	222.15(40)	226.11(40)	1060.40(4)	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)	0.00(0)
wmax2sat/140v	40	66.46(40)	68.19(40)	47.53(40)	52.93(40)	66.26(40)	74.12(40)	84.92(40)	435.68(38)	439.94(38)	519.47(3)	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)	0.00(0)
wmax3sat/hi	40	46.87(40)	47.08(40)	76.83(40)	76.35(40)	47.52(40)	103.62(40)	100.68(39)	199.64(40)	200.38(40)	1370.40(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)	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	27.24(30)	32.96(30)	6.26(30)	8.38(30)	8.76(30)	9.11(30)	12.70(30)	48.56(30)	48.75(30)	839.82(15)	0.01(1)	0.01(1)	0.01(1)	0.00(0)	0.01(1)	0.12(1)	0.05(1)	0.01(1)	0.01(1)	0.05(1)	0.22(1)	0.01(1)	0.11(1)	1.01(1)	0.01(1)	0.01(1)	0.01(1)	0.05(1)	0.06(1)	16.41(1)
wpmax2sat/lo	30	2.41(30)	4.53(30)	0.63(30)	0.81(30)	2.11(30)	0.80(30)	0.98(30)	1.38(30)	1.37(30)	19.60(30)	1011.58(2)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	636.53(5)	159.94(5)	0.00(0)	0.00(0)	25.10(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)
wpmax2sat/me	30	11.88(30)	16.49(30)	3.18(30)	3.96(30)	4.23(30)	4.52(30)	5.30(30)	13.26(30)	13.50(30)	502.79(28)	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)	0.00(0)
wpmax3sat/hi	30	46.10(30)	46.13(30)	71.85(30)	71.81(30)	47.25(30)	88.23(30)	86.81(30)	90.43(30)	89.79(30)	454.22(17)	604.29(7)	612.41(7)	784.89(7)	763.18(8)	456.16(6)	1391.22(1)	0.00(0)	831.91(4)	520.78(2)	0.00(0)	129.35(1)	203.04(1)	646.90(1)	1792.55(1)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
Total	662	601	601	594	589	587	580	571	484	484	135	10	8	8	8	7	7	6	5	3	2	2	2	2	2	1	1	1	1	1	1