Solver	#Ins.	ahmaxsat	ahmaxsat-ls	ISAC+2014-pms	CCLS2akms	WMaxSatz09	WMaxSatz+	ILP-2013	scip-maxsat	MSCG	Open-WBO-In	MaxHS	Open-WBO-SU	QMS-g3-auto	antom_partial	clasp	Open-WBO	QMS-g2-pms	WBO	pmifumax	toysat	toysat_ls	SAT4J-ms	maxSatUZK	antom	Eva500a	WPM-2014-co	optimax2-r	optimax2-rn
min2sat/v160c800l2	30	67.54(29)	114.58(30)	266.64(27)	427.03(26)	393.27(25)	550.54(21)	360.68(26)	688.56(8)	535.72(6)	736.11(6)	361.41(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)
min2sat/v260c1040l2	30	354.61(30)	311.57(29)	307.20(22)	439.89(19)	280.87(18)	597.40(14)	302.59(22)	779.66(4)	969.92(1)	446.98(1)	466.62(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)
min3sat/c70v350l3	30	82.77(30)	81.20(30)	209.22(30)	273.82(30)	375.77(30)	273.91(30)	937.29(13)	1189.66(11)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
min3sat/c80v400l3	30	388.09(29)	410.94(29)	857.58(24)	961.23(18)	1004.42(15)	920.81(22)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
pmax2sat/hi	30	3.91(30)	2.67(30)	11.02(30)	9.43(30)	13.00(30)	13.20(30)	431.97(2)	0.04(1)	0.01(1)	0.10(1)	0.01(1)	0.01(1)	0.01(1)	0.01(1)	0.08(1)	0.01(1)	0.01(1)	0.01(1)	0.01(1)	0.08(1)	0.19(1)	0.54(1)	0.59(1)	0.85(1)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
pmax2sat/me	30	1.78(30)	1.43(30)	9.78(30)	5.15(30)	5.37(30)	5.50(30)	586.74(11)	457.34(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)
pmax3sat/hi	30	59.67(30)	52.34(30)	57.90(30)	59.89(30)	80.17(30)	83.50(30)	1124.13(9)	878.00(12)	416.68(3)	637.01(3)	0.00(0)	834.01(2)	896.88(2)	881.20(1)	882.33(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)
Total	210	208	208	193	183	178	177	83	43	11	11	7	3	3	2	2	1	1	1	1	1	1	1	1	1	0	0	0	0