Solver	#Ins.	WPM-2014-co	ISAC+2014-wpms	Eva500a	clasp	MSCG	QMS-g3-auto	WBO	QMS-g2-wpms	Open-WBO	MaxHS	optimax2-g	optimax2w-r	Open-WBO-SU	wmifumax	ILP-2013	scip-maxsat	toysat	maxSatUZK	toysat_ls	SAT4J-ms	WMaxSatz09	WMaxSatz+	CCLS2akms	ahmaxsat	ahmaxsat-ls
dustrial/haplotyping-pedigrees	100	1.16(93)	4.63(97)	5.21(100)	1.40(90)	0.27(99)	11.43(80)	2.35(94)	14.37(82)	1.91(88)	2.08(34)	9.67(96)	7.84(73)	0.88(99)	2.20(82)	2.79(15)	1.87(7)	0.26(21)	4.98(37)	0.00(0)	0.18(20)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
hs-timetabling	14	8.33(21)	0.00(0)	2.28(7)	15.18(21)	4.68(7)	6.91(7)	3.59(7)	4.10(7)	3.68(7)	4.72(14)	0.00(0)	0.00(0)	0.00(0)	6.27(21)	0.00(0)	0.00(0)	0.00(0)	2.40(7)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
packup-wpms	99	0.23(93)	0.29(100)	2.19(100)	0.83(95)	0.02(100)	9.22(76)	2.24(84)	10.26(74)	1.27(73)	0.37(100)	1.76(5)	0.09(3)	0.00(0)	0.23(45)	0.02(100)	0.09(100)	0.38(6)	1.90(2)	0.89(6)	0.00(0)	2.57(14)	2.58(14)	1.60(11)	0.08(16)	0.08(15)
industrial/preference_planning	29	2.02(100)	1.07(100)	3.40(100)	0.86(89)	4.31(96)	0.62(100)	0.89(93)	0.85(100)	3.14(96)	2.46(96)	4.20(100)	2.46(100)	0.84(100)	0.05(37)	10.20(37)	13.64(51)	5.01(65)	3.99(100)	4.11(68)	2.51(96)	0.02(17)	0.02(17)	0.02(17)	0.01(6)	0.01(6)
timetabling	26	3.24(50)	4.56(34)	4.86(42)	3.76(42)	2.83(46)	8.06(34)	5.19(38)	4.50(26)	1.74(34)	4.27(19)	3.92(15)	10.61(23)	3.88(15)	1.53(30)	0.00(0)	0.00(0)	2.97(11)	3.49(19)	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	0.13(100)	0.32(100)	2.08(100)	0.03(100)	0.03(100)	9.76(73)	1.41(100)	14.46(71)	1.42(100)	0.72(100)	1.47(100)	0.84(100)	5.01(92)	1.37(100)	0.04(100)	0.08(100)	14.11(88)	0.00(0)	48.68(77)	7.69(43)	6.67(46)	6.85(46)	0.00(0)	0.00(0)	0.00(0)
wcsp/spot5/dir	21	4.73(80)	0.99(80)	0.09(66)	1.06(61)	2.17(66)	6.82(85)	0.85(66)	3.55(80)	0.08(42)	0.03(28)	11.16(57)	9.40(52)	0.67(42)	0.27(28)	0.84(80)	7.89(71)	4.00(38)	8.36(42)	1.39(28)	0.10(14)	0.01(19)	0.01(19)	0.01(19)	0.01(19)	1.84(19)
wcsp/spot5/log	21	7.81(52)	5.02(76)	0.18(66)	1.26(66)	0.38(47)	7.33(80)	3.03(42)	0.76(71)	0.01(33)	0.04(28)	9.99(47)	5.84(42)	0.41(38)	0.01(28)	0.59(33)	0.02(28)	0.01(23)	4.83(38)	0.01(19)	0.06(14)	0.01(14)	0.01(14)	2.26(23)	3.53(19)	2.57(19)
Total	410	591	588	582	567	563	538	527	514	476	421	421	394	387	374	367	358	254	246	199	188	110	110	71	61	60