Solver	#Ins.	CCLS2akms	CCEHC2akms	ahms-ls-1.70	ahms-1.70	WMaxSatz+	WMaxSatz09	maxhs-b	mscg2015b	QMaxSAT16UC	WPM3-2015-co	mscg2015a	QMaxSAT14	LMHS-2016	Naps-1.02-ms	Open-WBO16	maxino16-c10	maxino16-dis	Optiriss6
dom/abrame-habet/wmax2sat/120v	50	38.21(50)	39.68(50)	65.26(50)	93.15(50)	282.73(45)	286.32(45)	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	141.89(49)	142.12(49)	130.84(48)	144.58(45)	470.94(41)	474.01(41)	1341.85(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)
dom/abrame-habet/wmax2sat/160v	45	501.29(36)	504.88(36)	490.29(36)	453.93(31)	574.19(15)	482.42(14)	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	458.56(32)	459.49(32)	407.02(36)	499.92(32)	359.17(16)	355.20(16)	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	507.09(38)	508.68(38)	379.45(43)	554.09(43)	460.84(19)	528.59(20)	1082.08(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)
dom/abrame-habet/wmax3sat/110v	50	450.89(40)	450.68(40)	321.26(28)	338.30(27)	390.11(24)	385.21(24)	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	407.90(41)	409.01(41)	419.35(36)	466.42(34)	496.76(26)	500.55(26)	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	448.71(35)	448.17(35)	416.84(26)	437.83(25)	343.11(20)	341.44(20)	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	26.92(30)	32.13(30)	6.42(30)	10.00(30)	49.03(30)	48.61(30)	0.12(1)	0.01(1)	0.01(1)	0.00(0)	0.01(1)	0.01(1)	0.00(0)	0.05(1)	0.01(1)	0.01(1)	0.01(1)	0.01(1)
wpmax2sat/lo	30	2.35(30)	4.32(30)	0.60(30)	0.68(30)	1.38(30)	1.37(30)	351.00(29)	1013.31(2)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	204.56(5)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
wpmax2sat/me	30	11.77(30)	15.91(30)	2.96(30)	3.81(30)	13.33(30)	13.56(30)	603.27(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)
wpmax3sat/hi	30	46.45(30)	46.62(30)	75.38(30)	89.73(30)	90.54(30)	89.96(30)	819.91(9)	736.94(8)	658.11(8)	788.76(8)	465.62(6)	619.35(6)	0.00(0)	552.43(4)	621.62(4)	76.75(1)	417.05(1)	0.00(0)
Total	502	441	441	423	407	326	326	47	11	9	8	7	7	5	5	5	2	2	1