Solver	#Ins.	MaxHS	ILP-2013	scip-maxsat	ISAC+2014-wpms	QMS-g3-auto	QMS-g2-wpms	Eva500a	WMaxSatz09	WMaxSatz+	CCLS2akms	optimax2-g	WPM-2014-co	MSCG	optimax2w-r	clasp	Open-WBO	WBO	maxSatUZK	Open-WBO-SU	ahmaxsat-ls	ahmaxsat	toysat	toysat_ls	SAT4J-ms	wmifumax
CSG	10	0.35(100)	2.98(40)	1.09(40)	2.26(100)	4.53(100)	6.48(100)	4.00(70)	6.29(20)	6.10(20)	7.51(20)	5.76(100)	0.01(60)	0.02(60)	8.90(100)	0.10(60)	0.09(50)	0.09(50)	28.88(100)	16.94(80)	0.00(0)	0.00(0)	16.76(80)	3.08(60)	2.48(100)	0.09(50)
auctions/auc-paths	20	0.01(100)	0.01(100)	0.01(100)	0.26(100)	19.23(55)	5.45(25)	0.65(90)	2.15(100)	2.13(100)	0.96(100)	34.94(75)	18.60(60)	0.00(0)	18.73(60)	0.00(0)	8.02(15)	3.23(5)	6.23(10)	0.00(0)	2.95(100)	3.04(100)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
rafted/auctions/auc-scheduling	20	0.01(100)	0.01(100)	0.03(100)	0.27(100)	0.34(100)	0.15(100)	0.01(100)	21.22(75)	21.63(75)	22.64(100)	2.96(100)	0.02(100)	0.00(0)	2.97(100)	0.00(0)	0.33(100)	0.30(100)	1.49(100)	0.50(10)	6.60(100)	7.42(100)	1.50(100)	0.32(95)	7.29(35)	0.02(100)
frb	34	5.56(61)	4.04(55)	7.62(61)	5.35(91)	3.81(100)	6.41(100)	2.19(55)	2.61(41)	2.35(41)	2.78(41)	10.70(79)	5.98(73)	4.64(41)	8.04(79)	1.32(26)	1.35(85)	5.46(94)	1.68(41)	2.41(97)	0.73(41)	0.75(41)	6.32(61)	7.39(70)	0.01(11)	1.23(85)
min-enc/planning	18	0.05(100)	4.41(83)	0.97(100)	0.34(100)	0.41(100)	0.16(100)	0.12(100)	27.97(77)	28.06(77)	4.45(27)	0.21(100)	0.01(77)	9.14(72)	0.19(100)	11.22(83)	0.19(94)	0.17(94)	1.26(100)	0.93(100)	0.01(16)	0.01(16)	1.18(88)	1.51(88)	0.13(100)	0.01(11)
min-enc/planning/old	26	0.01(100)	0.04(100)	0.06(100)	0.28(100)	0.01(100)	0.01(100)	0.01(100)	0.83(100)	0.83(100)	6.26(96)	0.01(100)	0.01(100)	0.01(100)	0.01(100)	0.01(100)	0.01(100)	0.01(100)	0.06(100)	0.01(100)	0.01(38)	0.01(38)	0.02(92)	0.49(92)	0.05(100)	0.01(73)
min-enc/planning	12	0.09(100)	5.90(100)	7.15(100)	0.29(100)	0.01(100)	0.02(100)	0.11(100)	0.41(83)	0.42(83)	14.09(75)	0.12(100)	0.02(83)	0.04(83)	0.13(100)	0.01(83)	0.14(100)	0.12(100)	0.82(100)	0.19(100)	0.63(33)	0.62(33)	1.36(75)	1.29(75)	0.09(100)	15.02(33)
min-enc/warehouses	18	0.03(100)	0.01(100)	0.02(100)	0.26(100)	1.07(33)	1.58(33)	0.51(11)	1.54(33)	1.55(33)	0.02(11)	3.82(11)	0.01(5)	0.01(5)	3.46(11)	0.01(5)	0.01(5)	0.01(5)	0.01(5)	0.01(5)	0.03(27)	0.04(27)	0.01(5)	0.01(5)	0.01(5)	0.00(0)
pseudo/miplib	12	0.10(25)	1.95(25)	3.56(25)	4.64(41)	0.59(41)	1.26(41)	8.90(41)	3.79(33)	3.73(33)	0.02(16)	9.07(41)	1.68(33)	6.44(33)	0.84(33)	4.30(25)	0.05(25)	0.05(25)	6.55(33)	2.41(33)	0.11(16)	0.13(16)	0.27(25)	0.63(25)	2.12(33)	0.01(8)
ramsey	15	0.01(6)	2.28(20)	2.00(20)	0.70(26)	0.22(20)	0.27(20)	0.01(6)	1.50(26)	1.50(26)	0.62(26)	0.59(20)	0.01(6)	0.01(6)	0.41(20)	0.01(6)	0.01(6)	0.01(6)	0.77(13)	0.96(20)	0.87(26)	0.96(26)	4.36(13)	2.57(20)	0.14(20)	0.01(6)
random-net	32	0.56(100)	4.33(78)	1.34(3)	0.45(100)	31.95(93)	31.85(90)	2.36(37)	0.00(0)	0.00(0)	2.01(3)	0.00(0)	0.45(87)	2.19(90)	0.00(0)	10.46(96)	0.14(37)	0.33(37)	0.00(0)	0.00(0)	3.60(9)	3.62(9)	0.00(0)	0.00(0)	0.00(0)	0.92(12)
set-covering/scp4x	10	0.01(100)	0.01(100)	0.01(100)	0.00(0)	0.00(0)	0.00(0)	6.16(40)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.02(10)	4.65(100)	0.00(0)	7.38(80)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
set-covering/scp5x	10	0.01(100)	0.01(100)	0.01(100)	0.00(0)	0.00(0)	0.00(0)	0.05(40)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.01(20)	10.29(90)	0.00(0)	4.42(70)	0.01(10)	0.01(10)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
set-covering/scp6x	5	0.01(100)	0.01(100)	0.09(100)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	43.01(60)	0.00(0)	0.00(0)	11.51(40)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
set-covering/scpn	20	7.30(55)	3.86(50)	4.91(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)
wmaxcut/dimacs_mod	43	0.00(0)	7.16(46)	4.26(37)	2.76(95)	3.00(9)	2.45(4)	0.00(0)	6.69(88)	6.61(88)	2.30(95)	0.00(0)	0.00(0)	0.78(4)	0.00(0)	0.52(4)	0.00(0)	0.00(0)	0.00(0)	1.79(2)	1.99(95)	2.14(95)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
wmaxcut/spinglass	5	0.30(40)	1.09(80)	0.50(60)	0.59(80)	12.30(40)	0.03(20)	0.60(20)	1.41(80)	1.41(80)	0.28(80)	0.41(20)	2.65(20)	0.00(0)	0.25(20)	0.00(0)	0.00(0)	0.00(0)	16.58(20)	0.00(0)	0.01(40)	0.01(40)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
Total	310	1288	1278	1197	1134	893	835	812	758	758	753	747	737	727	723	641	629	628	623	548	545	545	541	532	505	380