Solver	#Ins.	ahms-ls-1.55	ahms-ls-1.68	CCLS2akms	CCLS2akms-ls	ISAC+-2015-ms	CCEHC2akms	ahms-1.55	ahms-1.68	WMaxSatz09	WMaxSatz+	ILP-2015	MaxHS	WPM3-2015-co	mscg2015b	mscg2015a	maxino-k16	Open-WBO-L	Open-WBO	QMSAT14	QMSAT15UC	maxino-kdyn	msUZK-nopp	msUZK-pp	optiriss-def	optiriss-sel	ratselfax-cnf	toysat	toysat_ls
ndom/abrame-habet/max2sat/120v	45	224.52(42)	300.71(42)	227.35(43)	226.97(43)	229.56(43)	229.65(43)	264.27(40)	265.60(38)	420.25(30)	396.87(30)	1052.31(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)
ndom/abrame-habet/max2sat/140v	45	366.10(35)	392.40(34)	330.08(34)	328.71(34)	331.11(34)	332.87(34)	383.77(32)	418.46(31)	642.80(21)	619.08(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)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
ndom/abrame-habet/max2sat/160v	45	408.28(22)	462.45(22)	527.26(20)	519.74(20)	523.24(20)	527.69(20)	525.34(21)	430.84(19)	501.75(11)	488.10(11)	1157.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)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
ndom/abrame-habet/max2sat/180v	44	476.99(21)	526.58(21)	580.21(17)	573.03(17)	579.41(17)	583.13(17)	446.22(18)	480.89(18)	759.36(9)	894.13(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)	0.00(0)	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	316.26(27)	337.49(27)	628.41(24)	619.26(24)	627.19(24)	632.32(24)	374.94(25)	424.46(26)	770.64(12)	825.78(12)	1530.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)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
ndom/abrame-habet/max3sat/110v	50	505.54(30)	523.16(30)	375.29(31)	380.98(31)	382.54(31)	375.88(31)	587.81(30)	611.24(30)	662.05(22)	633.26(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)	0.00(0)	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	374.70(42)	403.35(42)	358.65(42)	364.59(42)	362.70(42)	358.42(42)	421.64(41)	454.47(41)	492.54(31)	483.43(31)	1280.71(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)
andom/abrame-habet/max3sat/90v	49	405.05(27)	313.66(25)	437.37(29)	446.60(29)	443.73(29)	439.56(29)	298.90(24)	311.41(24)	521.63(23)	526.03(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)	0.00(0)	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)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	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	1116.13(7)	1149.96(7)	1517.71(6)	1527.67(6)	1590.09(6)	1526.16(5)	1154.54(7)	1132.43(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)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
max2sat/120v	50	26.22(50)	31.79(50)	30.87(50)	30.61(50)	31.09(50)	32.36(50)	35.36(50)	45.77(50)	225.41(50)	210.27(50)	968.22(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)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
max2sat/140v	50	82.27(50)	93.26(50)	118.66(50)	118.51(50)	118.72(50)	120.85(50)	103.82(50)	134.44(50)	421.15(45)	445.94(45)	901.26(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)
max3sat/70v	50	209.33(50)	220.51(50)	190.57(50)	193.11(50)	192.84(50)	190.54(50)	244.85(50)	254.70(50)	509.16(48)	498.91(48)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
max3sat/80v	50	165.10(50)	172.50(50)	137.44(50)	139.42(50)	139.86(50)	137.88(50)	196.69(50)	206.55(50)	340.77(48)	340.13(48)	708.59(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)
min2sat/160v	48	0.50(48)	0.53(48)	1.82(48)	1.80(48)	2.30(48)	5.21(48)	0.65(48)	0.67(48)	2.86(48)	3.32(48)	40.57(48)	350.97(29)	1050.09(4)	1448.55(2)	1460.50(2)	1149.02(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)
min2sat/200v	48	3.33(48)	3.71(48)	9.35(48)	9.29(48)	9.85(48)	14.53(48)	3.72(48)	4.60(48)	27.16(48)	30.19(48)	117.64(44)	211.45(19)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	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	750	549	546	542	542	542	541	534	530	446	444	116	48	4	2	2	1	0	0	0	0	0	0	0	0	0	0	0	0