Solver | #Ins. | IncWMaxSatz | akmaxsat | akmaxsat_ls | WMaxSatz-2009 | WMaxSatz+ | claspMaxSat | WPM1 | sat4j-maxsat | wbo1.6 | WPM2 |
auctions/auc-paths | 86 | 7.58(86) | 4.57(86) | 4.67(86) | 200.12(71) | 200.34(71) | 202.65(40) | 21.91(33) | 315.77(39) | 0.00(0) | 0.00(0) |
auctions/auc-scheduling | 84 | 114.69(82) | 122.73(84) | 110.96(84) | 65.99(83) | 66.19(83) | 181.28(78) | 7.59(80) | 291.82(70) | 0.00(0) | 472.18(3) |
min-enc/planning | 56 | 94.87(38) | 252.86(38) | 268.08(38) | 206.66(50) | 213.16(50) | 0.37(56) | 12.84(54) | 3.16(56) | 1.43(30) | 159.60(39) |
min-enc/warehouses | 18 | 3.10(12) | 37.27(2) | 7.89(2) | 0.32(1) | 0.31(1) | 0.02(1) | 0.07(1) | 1.47(1) | 0.53(4) | 149.53(1) |
pseudo/miplib | 12 | 26.50(3) | 0.47(2) | 1.90(2) | 267.55(3) | 259.98(3) | 194.07(4) | 35.92(3) | 24.65(3) | 0.00(0) | 395.56(2) |
net | 74 | 1172.52(1) | 888.50(1) | 790.28(1) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 64.53(37) | 0.00(0) |
wcsp/spot5/dir | 21 | 5.18(4) | 0.29(4) | 1.01(4) | 11.59(2) | 11.84(2) | 2.81(3) | 1.44(5) | 12.24(3) | 2.68(5) | 38.31(8) |
wcsp/spot5/log | 21 | 0.63(4) | 198.83(5) | 0.44(4) | 15.61(2) | 19.38(2) | 2.32(3) | 44.64(6) | 5.84(3) | 25.66(6) | 130.01(8) |
Total | 372 | 230 | 222 | 221 | 212 | 212 | 185 | 182 | 175 | 82 | 61 |