Solver	#Ins.	optimax2-rn-i	WPM-2014-in	Dist	CCLS2014	CCMPA	SAT4J-ms-inc	antom_inc	optimax2-r-i
frb	25	8.12(60)	5.31(68)	12.37(72)	4.84(100)	12.35(96)	0.00(0)	0.00(0)	11.72(88)
job-shop	3	18.91(66)	9.32(100)	0.00(0)	0.00(0)	0.00(0)	3.06(33)	16.26(100)	5.33(66)
maxclicque/random	96	4.94(83)	16.06(86)	0.08(100)	0.14(100)	0.02(100)	0.84(62)	0.01(10)	0.01(3)
maxclicque/structured	62	2.98(45)	13.85(46)	4.11(90)	3.40(82)	7.81(83)	0.17(22)	0.01(17)	0.01(27)
maxone/3sat	80	14.34(75)	8.42(80)	1.07(100)	0.63(97)	0.42(92)	1.27(37)	0.01(5)	0.01(11)
maxone/structured	60	0.81(98)	2.06(100)	2.00(83)	0.84(5)	0.01(1)	0.88(100)	0.07(48)	0.11(23)
min-enc/kbtree	42	0.00(0)	5.77(11)	3.43(100)	1.42(97)	16.17(61)	0.00(0)	0.00(0)	2.07(2)
pseudo/miplib	4	0.07(100)	0.10(100)	0.07(100)	0.13(100)	20.11(100)	0.24(75)	1.79(100)	0.02(75)
reversi	44	17.21(100)	8.86(81)	0.14(18)	1.10(2)	2.79(9)	15.63(72)	1.82(70)	5.14(65)
scheduling	5	39.87(60)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	2.31(40)	0.00(0)
Total	421	688	674	663	584	545	403	391	363