Solver	#Ins.	WPM-2014-in	optimax2-rn-i	optimax2-r-i	Dist	antom_inc	SAT4J-ms-inc	CCMPA	CCLS2014
aes	7	0.00(0)	1.70(14)	1.97(14)	0.08(14)	0.00(0)	0.00(0)	14.19(85)	0.06(14)
atcoss/mesat	18	53.59(83)	1.90(5)	2.22(5)	0.00(0)	7.30(11)	0.00(0)	0.00(0)	0.00(0)
atcoss/sugar	19	24.38(68)	5.40(15)	0.00(0)	5.65(10)	16.48(42)	11.34(21)	0.00(0)	0.00(0)
bcp/fir	32	0.91(78)	15.85(90)	4.86(75)	7.86(43)	0.00(0)	0.00(0)	2.24(81)	4.93(53)
bcp/hipp-yRa1/simp	10	8.71(90)	1.94(100)	3.09(30)	7.00(100)	0.02(40)	2.69(40)	4.66(10)	0.00(0)
bcp/hipp-yRa1/su	38	5.34(78)	9.67(100)	0.69(28)	17.14(73)	0.01(5)	4.23(18)	0.00(0)	0.00(0)
bcp/msp	40	10.55(35)	5.26(50)	0.01(2)	4.73(72)	0.17(10)	0.19(7)	0.00(0)	0.00(0)
bcp/mtg	30	0.07(100)	0.17(100)	3.33(36)	8.23(73)	0.05(60)	4.75(70)	0.00(0)	0.00(0)
bcp/syn	38	5.96(21)	3.33(13)	0.93(10)	2.78(23)	0.01(2)	0.02(2)	17.46(97)	3.21(42)
trial/circuit-trace-compaction	4	11.83(100)	1.96(100)	1.57(75)	0.00(0)	10.03(100)	2.09(50)	0.00(0)	0.00(0)
close_solutions	50	12.97(76)	11.74(38)	10.70(46)	9.75(50)	3.96(12)	5.51(26)	0.43(18)	4.07(32)
des	50	15.37(52)	36.42(88)	7.12(16)	0.00(0)	3.34(8)	0.00(0)	1.67(2)	0.00(0)
haplotype-assembly	6	0.13(83)	0.00(0)	1.46(83)	11.36(16)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
hs-timetabling	2	4.35(50)	27.04(50)	3.94(50)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
mbd	46	26.72(91)	2.95(36)	3.12(86)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
packup-pms	40	0.95(100)	22.40(85)	11.09(85)	0.85(17)	1.46(10)	0.45(12)	0.00(0)	0.00(0)
pbo/mqc/nencdr	25	5.79(84)	19.04(76)	1.34(12)	0.00(0)	0.57(60)	9.69(64)	0.00(0)	0.00(0)
pbo/mqc/nlogencdr	25	1.23(100)	9.46(100)	3.95(44)	9.95(16)	0.20(64)	9.28(100)	0.00(0)	0.00(0)
pbo/routing	15	0.38(100)	2.66(100)	0.67(100)	1.86(86)	0.06(40)	3.53(80)	0.00(0)	0.37(6)
protein_ins	12	28.66(50)	9.56(41)	0.05(8)	0.68(100)	12.40(83)	7.78(25)	2.37(91)	0.58(83)
tpr/Multiple_path	36	7.53(44)	25.94(61)	0.00(0)	0.00(0)	0.32(13)	0.17(2)	0.00(0)	0.00(0)
tpr/One_path	25	30.94(96)	35.40(48)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
Total	568	1581	1314	810	698	562	519	385	231