Solver	#Ins.	ISAC+-pms	WMaxSatz09	WMaxSatz+	ckmax-small	ILP-2013	Maxsatz2013f	scip-maxsat	MaxHS	Toulbar2	WPM2-2013	MSUnCore	QMaxSAT2-mt	QMaxSAT-m	optimax	pmifumax	wbo2.1-wcnf	optimax-ni	pwbo2.3-pms	glpk-maxsat	antom_seq1	antom_seq2	toysat	WPM1-2013
min2sat/v160c800l2	30	267.32(27)	395.84(25)	552.52(21)	432.14(23)	363.58(26)	0.00(0)	880.86(8)	410.47(7)	0.00(0)	396.70(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)
min2sat/v260c1040l2	30	328.63(20)	283.48(18)	603.48(14)	446.24(18)	305.70(22)	0.00(0)	718.27(5)	524.30(3)	0.00(0)	548.13(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)
min3sat/c70v350l3	30	208.12(30)	379.95(30)	277.37(30)	555.72(25)	942.42(13)	0.00(0)	1251.56(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)
min3sat/c80v400l3	30	845.10(24)	1013.92(15)	888.27(21)	1161.88(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)
pmax2sat/hi	30	8.77(30)	13.18(30)	13.50(30)	5.54(30)	428.60(2)	4.07(30)	0.04(1)	0.00(0)	0.04(1)	0.00(0)	0.01(1)	0.01(1)	0.01(1)	0.01(1)	0.01(1)	0.01(1)	0.01(1)	0.01(1)	0.28(1)	0.72(1)	1.27(1)	1.88(1)	0.00(0)
pmax2sat/me	30	7.94(30)	5.45(30)	5.60(30)	3.01(30)	591.18(11)	1.63(30)	598.28(7)	0.00(0)	579.93(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)
pmax3sat/hi	30	55.73(30)	81.01(30)	84.17(30)	397.73(28)	1143.55(9)	0.00(0)	854.33(11)	0.00(0)	1287.41(3)	1696.60(1)	338.96(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)
Total	210	191	178	176	161	83	60	41	10	10	3	2	1	1	1	1	1	1	1	1	1	1	1	0