Solver	#Ins.	WPM-2014-in	optimax2-g-i	optimax2w-r-i	CCMPA	SAT4J-ms-inc	CCLS2014	Dist
dustrial/haplotyping-pedigrees	100	5.36(93)	20.82(81)	3.05(34)	14.08(17)	0.06(4)	3.50(15)	4.21(21)
hs-timetabling	14	43.48(50)	4.12(14)	19.01(35)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
packup-wpms	99	6.13(98)	0.41(3)	0.55(3)	0.14(1)	0.00(0)	0.00(0)	0.08(3)
industrial/preference_planning	29	6.96(100)	1.79(96)	6.33(96)	0.00(0)	3.98(93)	2.17(20)	0.10(10)
timetabling	26	17.43(53)	28.10(46)	2.39(3)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
ustrial/upgradeability-problem	100	0.58(100)	2.67(100)	2.76(100)	0.00(0)	4.11(28)	0.00(0)	0.00(0)
wcsp/spot5/dir	21	6.25(76)	7.73(52)	8.21(47)	19.63(66)	0.30(14)	0.43(38)	0.37(23)
wcsp/spot5/log	21	4.08(38)	12.03(47)	1.66(38)	30.71(95)	0.17(14)	0.71(47)	0.53(28)
Total	410	610	441	358	179	154	121	86