Solver	#Ins.	WPM3-2015-in	dsat-wpm3-in-wpms	dsat-wpm3-s-in-wpms	Optiriss6-in	Dist-r	Dist	CCEHC	SC2016	Ramp	CCLS	Naps-1.02-ms	HS-Greedy	SsMonteCarlo
BTBNSL	60	98.78(14)	107.95(9)	108.96(14)	37.51(7)	95.42(20)	39.63(6)	7.71(6)	2.92(3)	0.00(0)	68.45(3)	135.89(6)	0.00(0)	0.00(0)
ustrial/abstraction-refinement	11	119.84(4)	45.40(3)	16.32(1)	204.35(1)	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)
ustrial/correlation-clustering	129	85.81(10)	136.51(13)	137.37(6)	134.99(98)	0.00(0)	109.69(13)	155.51(1)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
dustrial/haplotyping-pedigrees	100	13.98(97)	20.27(98)	19.17(75)	6.14(100)	47.71(34)	9.16(20)	49.00(20)	36.29(19)	123.94(14)	96.20(15)	0.00(0)	0.00(0)	0.00(0)
hs-timetabling	14	50.47(4)	144.13(1)	0.00(0)	61.90(9)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	48.67(1)	0.00(0)
packup-wpms	99	7.84(97)	15.98(99)	7.10(80)	0.00(0)	2.78(2)	0.46(2)	69.90(2)	0.00(0)	4.84(1)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
industrial/preference_planning	29	2.90(27)	10.66(28)	4.59(25)	0.00(0)	0.16(2)	13.78(12)	61.15(10)	21.76(6)	0.00(0)	0.89(5)	0.00(0)	0.00(0)	0.00(0)
railway-transport	11	12.50(3)	25.75(3)	69.80(4)	13.98(3)	0.00(0)	201.58(2)	268.91(1)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
ndustrial/relational-inference	9	179.06(6)	57.00(2)	108.39(1)	32.47(1)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	59.53(1)	0.00(0)	0.00(0)	24.64(1)	0.00(0)
timetabling	26	46.29(14)	39.50(16)	48.12(13)	73.57(8)	0.00(0)	285.55(1)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
ustrial/upgradeability-problem	100	2.54(100)	10.66(100)	2.63(90)	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)
wcsp/spot5/dir	21	1.89(15)	19.02(16)	19.47(16)	19.35(14)	12.53(6)	2.67(6)	1.61(5)	0.84(8)	77.02(14)	1.12(8)	13.46(15)	0.28(1)	3.73(3)
wcsp/spot5/log	21	3.48(14)	10.54(14)	12.62(14)	0.11(6)	4.32(6)	2.27(6)	40.04(13)	4.03(10)	58.25(14)	11.74(10)	23.30(14)	26.53(4)	2.34(3)
Total	630	405	402	339	247	70	68	58	46	44	41	35	7	6