Solver	#Ins.	WPM-2014-in	optimax2-rn-i	optimax2-r-i	Dist	SAT4J-ms-inc	antom_inc	CCMPA	CCLS2014
aes	7	0.00(0)	35.88(1)	41.49(1)	1.77(1)	0.00(0)	0.00(0)	49.68(6)	1.38(1)
atcoss/mesat	18	192.92(15)	102.91(1)	119.90(1)	0.00(0)	0.00(0)	197.30(2)	0.00(0)	0.00(0)
atcoss/sugar	19	106.90(13)	102.74(3)	0.00(0)	161.03(2)	161.65(4)	117.48(8)	0.00(0)	0.00(0)
bcp/fir	32	3.50(25)	52.48(29)	19.47(24)	53.90(14)	0.00(0)	0.00(0)	8.27(26)	27.87(17)
bcp/hipp-yRa1/simp	10	29.04(9)	5.82(10)	30.93(3)	21.00(10)	20.18(4)	0.18(4)	139.84(1)	0.00(0)
bcp/hipp-yRa1/su	38	20.29(30)	29.03(38)	7.18(11)	69.81(28)	68.89(7)	0.44(2)	0.00(0)	0.00(0)
bcp/msp	40	90.45(14)	31.59(20)	0.67(1)	19.57(29)	7.83(3)	5.15(4)	0.00(0)	0.00(0)
bcp/mtg	30	0.22(30)	0.51(30)	27.29(11)	33.70(22)	20.37(21)	0.27(18)	0.00(0)	0.00(0)
bcp/syn	38	84.99(8)	75.97(5)	26.55(4)	35.32(9)	2.38(1)	0.02(1)	53.81(37)	22.94(16)
trial/circuit-trace-compaction	4	35.50(4)	5.89(4)	6.28(3)	0.00(0)	12.55(2)	30.10(4)	0.00(0)	0.00(0)
close_solutions	50	51.21(38)	92.69(19)	69.81(23)	58.52(25)	63.62(13)	99.04(6)	7.17(9)	38.22(16)
des	50	88.67(26)	124.18(44)	133.54(8)	0.00(0)	0.00(0)	125.47(4)	250.59(1)	0.00(0)
haplotype-assembly	6	0.47(5)	0.00(0)	5.27(5)	204.61(1)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
hs-timetabling	2	26.12(1)	162.28(1)	23.65(1)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
mbd	46	87.79(42)	23.96(17)	10.79(40)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
packup-pms	40	2.85(40)	79.07(34)	39.15(34)	14.63(7)	10.84(5)	44.05(4)	0.00(0)	0.00(0)
pbo/mqc/nencdr	25	20.70(21)	75.16(19)	33.61(3)	0.00(0)	45.42(16)	2.86(15)	0.00(0)	0.00(0)
pbo/mqc/nlogencdr	25	3.71(25)	28.40(25)	26.99(11)	186.60(4)	27.84(25)	0.97(16)	0.00(0)	0.00(0)
pbo/routing	15	1.14(15)	7.99(15)	2.02(15)	6.44(13)	13.26(12)	0.52(6)	0.00(0)	16.98(1)
protein_ins	12	171.96(6)	68.85(5)	2.06(1)	2.06(12)	93.46(3)	44.67(10)	7.76(11)	2.10(10)
tpr/Multiple_path	36	50.88(16)	127.35(22)	0.00(0)	0.00(0)	19.19(1)	7.08(5)	0.00(0)	0.00(0)
tpr/One_path	25	96.70(24)	221.27(12)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
Total	568	407	354	200	177	117	109	91	61