Solver | #Ins. | IncWMaxSatz | QMaxSat0.11 | akmaxsat_ls | akmaxsat | QMaxSat0.4 | WMaxSatz-2009 | WMaxSatz+ | PM2 | sat4j-maxsat | pwbo1.1 | claspMaxSat | pwbo1.0 | wbo1.6 | WPM1 |
frb | 25 | 376.93(5) | 197.36(21) | 247.00(5) | 299.79(5) | 181.04(22) | 0.00(0) | 0.00(0) | 510.46(13) | 0.00(0) | 436.86(13) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) |
job-shop | 3 | 0.00(0) | 151.07(3) | 0.00(0) | 0.00(0) | 101.32(3) | 0.00(0) | 0.00(0) | 271.66(2) | 764.37(3) | 19.82(1) | 219.63(3) | 20.97(1) | 469.36(1) | 256.14(1) |
maxclicque/random | 96 | 3.47(96) | 87.92(77) | 2.40(96) | 2.01(96) | 91.35(76) | 75.25(82) | 75.28(82) | 226.63(60) | 129.92(72) | 210.30(60) | 63.49(72) | 131.38(62) | 0.00(0) | 0.00(0) |
maxclicque/structured | 62 | 135.39(35) | 177.52(24) | 65.39(39) | 86.50(39) | 188.16(24) | 179.50(24) | 185.46(24) | 554.13(17) | 159.76(17) | 175.03(17) | 206.73(19) | 40.98(16) | 13.19(10) | 5.98(5) |
maxone/3sat | 80 | 0.43(80) | 229.50(75) | 0.86(80) | 0.81(80) | 286.85(71) | 184.17(77) | 184.53(77) | 20.12(80) | 261.24(60) | 141.68(62) | 309.17(48) | 91.87(63) | 25.17(35) | 2.99(37) |
maxone/structured | 60 | 193.28(54) | 26.26(60) | 419.12(32) | 460.28(33) | 29.08(59) | 150.44(58) | 150.11(58) | 424.97(39) | 5.20(60) | 43.51(60) | 0.82(60) | 28.91(60) | 15.26(1) | 51.87(1) |
min-enc/kbtree | 42 | 1552.03(1) | 214.95(3) | 748.82(10) | 679.99(8) | 566.98(5) | 591.11(7) | 583.43(7) | 241.19(4) | 471.32(2) | 0.00(0) | 617.61(3) | 0.00(0) | 1308.49(1) | 0.00(0) |
pseudo/miplib | 4 | 0.04(2) | 2.89(4) | 464.49(3) | 458.99(3) | 3.72(4) | 0.11(2) | 0.12(2) | 14.20(4) | 75.04(4) | 140.53(4) | 27.84(4) | 1.69(3) | 0.33(2) | 0.16(2) |
Total | 372 | 273 | 267 | 265 | 264 | 264 | 250 | 250 | 219 | 218 | 217 | 209 | 205 | 50 | 46 |