Solver#Ins.IncWMaxSatzQMaxSatakmaxsat_lsakmaxsatWMaxSatz+WMaxSatz-2009PM2SAT4J-MAXSAT-2.2.0wbo-1.4b-wcnfWPM1WMaxsat_Powerwbo-1.4a-wcnfLSW_Power
JobShop/40.00(0)81.16(4) 0.00(0)0.00(0)0.00(0)0.00(0)195.93(3)421.90(4) 193.58(3)167.77(2)0.00(0)186.36(2)0.00(0)
MAXCLIQUE/RANDOM/963.48(96) 103.48(76)9.46(96) 9.56(96) 71.81(82)71.53(82)241.15(60)134.43(69)49.78(61)0.00(0)0.27(32)0.00(0)0.24(25)
MAXCLIQUE/STRUCTURED/62152.63(36) 130.44(23)146.88(33)175.64(34)182.77(18)181.92(18)489.24(16)271.73(17)45.99(16)7.62(8)0.19(7)15.46(10)0.10(4)
MAXONE/3SAT/800.43(80) 298.41(72)1.59(80) 2.05(80) 183.71(77)183.47(77)20.06(80) 288.20(62)134.38(55)7.29(43)0.47(1)10.59(32)0.55(2)
MAXONE/STRUCTURED/60193.24(54)9.49(59)384.92(35)382.90(35)153.46(58)153.92(58)421.53(39)5.21(60) 3.48(58)1.66(2)0.11(13)54.15(1)0.11(13)
PSEUDO/miplib/40.04(2)3.23(4) 0.29(2)0.22(2)0.11(2)0.11(2)13.83(4) 58.18(4) 1.09(3)0.22(2)0.12(2)0.44(2)0.11(2)
frb/25376.61(5)246.27(21) 1163.34(5)1043.54(5)0.00(0)0.00(0)551.90(13)0.00(0)0.00(0)0.00(0)0.00(0)0.00(0)0.00(0)
min-enc/kbtree/54380.33(8)130.74(16)126.24(19) 141.88(18)245.81(19) 247.81(19) 113.02(17)67.98(14)39.58(11)0.58(12)0.04(5)1.45(12)0.06(5)
Total385281 27527027025625623223020769605951