Solver | #Ins. | IncWMaxSatz | QMaxSat | akmaxsat_ls | akmaxsat | WMaxSatz+ | WMaxSatz-2009 | PM2 | SAT4J-MAXSAT-2.2.0 | wbo-1.4b-wcnf | WPM1 | WMaxsat_Power | wbo-1.4a-wcnf | LSW_Power |
JobShop/ | 4 | 0.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/ | 96 | 3.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/ | 62 | 152.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/ | 80 | 0.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/ | 60 | 193.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/ | 4 | 0.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/ | 25 | 376.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/ | 54 | 380.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) |
Total | 385 | 281 | 275 | 270 | 270 | 256 | 256 | 232 | 230 | 207 | 69 | 60 | 59 | 51 |