Solver	#Ins.	ISAC+2014-pms	QMS-g3-auto	Open-WBO-SU	Eva500a	QMS-g2-pms	antom_partial	WPM-2014-co	antom	MaxHS	Open-WBO-In	MSCG	optimax2-rn	scip-maxsat	ILP-2013	maxSatUZK	clasp	toysat	SAT4J-ms	WMaxSatz+	WMaxSatz09	ahmaxsat-ls	toysat_ls	ahmaxsat	Open-WBO	WBO	CCLS2akms	pmifumax	optimax2-r
frb	25	5.67(100)	4.01(100)	3.69(100)	8.61(100)	4.33(100)	8.34(96)	6.95(84)	7.76(96)	12.52(56)	7.37(76)	6.71(32)	15.50(84)	10.37(48)	5.48(44)	4.12(40)	0.00(0)	3.40(88)	0.00(0)	3.12(20)	3.49(20)	1.02(20)	2.35(88)	1.05(20)	9.27(100)	7.18(100)	3.73(20)	5.53(96)	5.04(96)
job-shop	3	1.57(100)	1.46(100)	1.21(100)	11.14(100)	0.86(100)	5.10(100)	1.90(100)	6.56(100)	1.68(100)	2.36(100)	2.34(100)	10.28(100)	0.00(0)	0.00(0)	1.24(100)	2.85(100)	47.34(100)	26.39(100)	0.00(0)	0.00(0)	0.00(0)	25.77(33)	0.00(0)	6.10(100)	5.07(100)	0.00(0)	1.67(100)	8.59(100)
maxclicque/random	96	0.51(100)	4.16(83)	4.14(81)	6.09(73)	3.72(81)	3.31(79)	2.29(76)	3.30(79)	1.26(100)	5.16(68)	6.06(91)	3.82(80)	4.64(100)	1.83(100)	4.75(76)	4.48(84)	5.43(62)	3.64(68)	0.12(100)	0.11(100)	0.05(100)	4.60(64)	0.05(100)	6.45(38)	1.45(30)	0.23(100)	0.04(2)	0.00(0)
maxclicque/structured	62	1.71(70)	3.82(43)	5.17(43)	4.38(38)	4.35(41)	2.95(40)	2.01(37)	3.19(38)	4.43(61)	3.06(30)	3.90(45)	2.68(37)	6.87(56)	5.77(58)	2.64(35)	1.65(38)	2.45(20)	0.47(24)	4.44(59)	3.74(58)	1.48(46)	0.56(16)	1.45(46)	0.39(25)	2.01(27)	3.38(59)	0.01(22)	0.09(22)
maxone/3sat	80	0.47(100)	4.55(98)	6.27(100)	9.91(96)	8.87(96)	11.30(96)	9.88(91)	11.35(96)	0.12(100)	1.90(100)	1.63(100)	11.83(90)	0.54(100)	0.48(100)	13.83(85)	4.13(96)	3.02(45)	7.83(51)	0.02(100)	0.02(100)	0.04(100)	5.93(48)	0.04(100)	2.23(22)	1.71(21)	0.06(100)	1.36(13)	0.73(12)
maxone/structured	60	0.75(98)	0.25(100)	0.30(100)	0.66(100)	0.29(100)	0.41(100)	0.42(100)	0.25(100)	0.38(100)	1.67(98)	2.71(98)	0.92(100)	5.00(98)	8.38(95)	1.58(100)	0.63(96)	1.16(96)	0.16(100)	4.97(96)	4.59(96)	0.98(73)	1.02(95)	0.97(73)	0.18(8)	0.15(5)	5.26(25)	0.01(1)	0.01(1)
min-enc/kbtree	42	4.30(100)	0.76(14)	0.60(14)	1.58(11)	0.73(14)	2.28(14)	2.36(14)	2.11(11)	0.74(4)	0.24(14)	0.69(14)	3.85(9)	3.98(100)	11.63(100)	3.17(11)	1.14(11)	0.00(0)	0.00(0)	9.41(26)	9.45(26)	24.33(83)	0.00(0)	20.31(78)	3.00(7)	1.52(7)	1.85(14)	0.00(0)	2.35(4)
pseudo/miplib	4	1.71(100)	0.16(100)	0.16(100)	3.50(100)	0.08(100)	0.41(100)	1.01(100)	0.43(100)	0.22(100)	0.66(100)	0.38(100)	0.16(100)	1.85(100)	1.32(100)	0.59(100)	0.87(100)	16.38(100)	13.27(100)	24.77(75)	24.22(75)	0.01(50)	9.44(100)	0.01(50)	0.25(75)	0.21(75)	16.18(75)	0.05(75)	0.01(50)
reversi	44	1.22(75)	0.81(75)	0.81(75)	1.09(72)	0.82(75)	0.76(75)	0.57(75)	0.90(75)	0.76(70)	0.73(75)	0.64(75)	1.11(75)	3.48(31)	6.10(29)	1.73(75)	0.68(75)	6.07(68)	2.88(72)	1.00(15)	0.98(15)	0.01(6)	0.35(34)	0.01(6)	2.69(72)	0.66(70)	3.62(15)	2.40(65)	0.93(65)
scheduling	5	5.43(20)	13.53(20)	8.33(20)	16.07(20)	0.00(0)	0.00(0)	12.44(20)	0.00(0)	0.00(0)	8.96(20)	12.85(20)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	5.94(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)
Total	421	864	734	734	713	708	701	697	697	692	683	676	675	634	626	623	622	581	516	493	491	480	479	475	450	436	409	376	353