Solver	#Ins.	ahms-ls-1.70	CCLS2akms	CCEHC2akms	ahms-1.70	WMaxSatz09	WMaxSatz+	maxhs-b	Naps-1.02-ms	Open-WBO16	Optiriss6	WPM3-2015-co	maxino16-c10	maxino16-dis	mscg2015a	mscg2015b
ndom/abrame-habet/max2sat/120v	45	327.24(42)	232.94(43)	232.05(43)	361.08(37)	419.98(30)	396.54(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)
ndom/abrame-habet/max2sat/140v	45	402.06(34)	333.36(34)	334.66(34)	479.29(29)	642.25(21)	619.14(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)
ndom/abrame-habet/max2sat/160v	45	422.10(21)	529.88(20)	531.69(20)	645.32(20)	502.08(11)	489.25(11)	1350.17(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)
ndom/abrame-habet/max2sat/180v	44	505.41(20)	581.39(17)	581.66(17)	568.69(18)	760.96(9)	894.33(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)
ndom/abrame-habet/max2sat/200v	49	321.46(26)	626.06(24)	626.78(24)	446.01(25)	770.32(12)	827.59(12)	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/max3sat/110v	50	480.65(30)	346.39(30)	347.07(30)	565.46(30)	662.43(22)	634.34(21)	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)
andom/abrame-habet/max3sat/70v	45	394.36(42)	372.22(42)	373.66(42)	444.80(41)	492.36(31)	484.53(31)	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)
andom/abrame-habet/max3sat/90v	49	406.37(27)	456.51(29)	358.63(27)	358.35(25)	521.72(23)	526.93(23)	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)
highgirth/3sat	50	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)
highgirth/4sat	32	914.29(7)	1590.04(5)	1590.96(4)	957.99(7)	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)
Total	454	249	244	241	232	159	157	1	0	0	0	0	0	0	0	0