Solver	#Ins.	ahmaxsat-ls	ahmaxsat	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	6.36(100)	3.62(96)	13.33(90)	20.56(86)	18.20(83)	21.41(70)	17.36(86)	10.20(26)	5.95(20)	8.17(20)	2.67(13)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	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	16.73(96)	19.70(100)	12.51(73)	15.47(63)	9.36(60)	15.48(46)	12.32(73)	5.77(13)	1.79(3)	0.82(3)	1.72(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)
min3sat/c70v350l3	30	4.51(100)	4.59(100)	11.62(100)	15.21(100)	20.87(100)	15.21(100)	22.56(43)	24.23(36)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	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	22.06(96)	20.84(96)	38.11(80)	32.04(60)	27.90(50)	37.51(73)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	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	0.14(100)	0.21(100)	0.61(100)	0.52(100)	0.72(100)	0.73(100)	1.59(6)	0.01(3)	0.01(3)	0.01(3)	0.01(3)	0.01(3)	0.01(3)	0.01(3)	0.01(3)	0.01(3)	0.01(3)	0.01(3)	0.01(3)	0.01(3)	0.01(3)	0.01(3)	0.01(3)	0.01(3)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
pmax2sat/me	30	0.07(100)	0.09(100)	0.54(100)	0.28(100)	0.29(100)	0.30(100)	11.95(36)	5.92(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)	0.00(0)	0.00(0)
pmax3sat/hi	30	2.90(100)	3.31(100)	3.21(100)	3.32(100)	4.45(100)	4.63(100)	18.73(30)	19.51(40)	2.31(10)	3.53(10)	0.00(0)	3.08(6)	3.32(6)	1.63(3)	1.63(3)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	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	693	693	643	610	593	590	276	143	36	36	23	10	10	6	6	3	3	3	3	3	3	3	3	3	0	0	0	0