Solver	#Ins.	dsat-wpm3-s-in-wpms	SC2016	dsat-wpm3-in-wpms	CCLS	CCEHC	Ramp	SsMonteCarlo	Dist-r	Dist	HS-Greedy	WPM3-2015-in	Naps-1.02-ms	Optiriss6-in
dom/abrame-habet/wmax2sat/120v	50	21.37(50)	2.89(50)	8.49(50)	3.50(50)	3.49(50)	2.29(50)	2.58(50)	0.00(0)	0.00(0)	2.16(7)	0.00(0)	0.00(0)	0.00(0)
dom/abrame-habet/wmax2sat/140v	50	21.94(50)	3.31(50)	8.64(50)	3.71(50)	3.75(50)	2.66(50)	3.40(50)	0.00(0)	0.00(0)	2.31(3)	0.00(0)	0.00(0)	0.00(0)
dom/abrame-habet/wmax2sat/160v	45	22.10(45)	3.28(45)	8.76(45)	3.92(45)	4.44(45)	3.74(45)	3.99(45)	0.00(0)	0.00(0)	3.88(2)	0.00(0)	0.00(0)	0.00(0)
dom/abrame-habet/wmax2sat/180v	44	23.45(44)	3.88(44)	8.61(44)	4.34(44)	5.43(44)	4.26(44)	4.45(44)	0.00(0)	0.00(0)	3.33(3)	0.00(0)	0.00(0)	0.00(0)
dom/abrame-habet/wmax2sat/200v	49	28.27(49)	4.07(49)	9.78(49)	4.96(49)	5.88(49)	4.32(49)	4.90(49)	0.00(0)	0.00(0)	4.07(2)	0.00(0)	0.00(0)	0.00(0)
dom/abrame-habet/wmax3sat/110v	50	31.15(50)	2.23(50)	9.17(50)	2.67(50)	11.34(46)	2.61(50)	3.98(50)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
ndom/abrame-habet/wmax3sat/70v	45	21.63(45)	1.66(45)	8.62(45)	1.94(45)	6.56(45)	1.59(45)	2.73(45)	0.00(0)	0.00(0)	1.63(4)	0.00(0)	0.00(0)	0.00(0)
ndom/abrame-habet/wmax3sat/90v	49	22.13(49)	2.18(49)	8.55(49)	2.70(49)	8.06(49)	2.15(49)	2.97(49)	0.00(0)	0.00(0)	1.54(1)	0.00(0)	0.00(0)	0.00(0)
wpmax2sat/hi	30	32.26(29)	0.93(29)	10.05(29)	4.03(28)	2.88(29)	4.69(27)	0.00(0)	1.27(29)	1.18(29)	1.12(8)	0.00(0)	0.00(0)	0.00(0)
wpmax2sat/lo	30	33.30(30)	2.41(30)	10.77(29)	6.60(29)	2.42(30)	11.38(29)	9.94(28)	1.03(30)	1.11(30)	0.90(6)	0.00(0)	0.00(0)	0.00(0)
wpmax2sat/me	30	30.99(30)	0.88(29)	9.70(30)	5.34(29)	2.58(30)	6.51(28)	3.03(18)	1.25(30)	1.26(30)	27.74(8)	0.00(0)	0.00(0)	0.00(0)
wpmax3sat/hi	30	32.86(30)	1.73(30)	9.60(30)	2.12(30)	2.39(30)	1.74(30)	7.48(30)	1.93(30)	1.99(30)	2.46(1)	63.49(8)	167.69(1)	0.00(0)
Total	502	501	500	500	498	497	496	458	119	119	45	8	1	0