| Solver | #Ins. | akmaxsat_ls | akmaxsat | IncWMaxSatz | WMaxSatz+ | WMaxSatz-2009 | SAT4J-MAXSAT-2.2.0 | wbo-1.4b-wcnf | wbo-1.4a-wcnf | WPM1 | WPM2 | WMaxsat_Power | LSW_Power |
|---|
| AUCTIONS/AUC_PATHS/ | 88 | 22.48(88) | 22.89(88) | 8.54(74) | 192.31(71) | 192.43(71) | 365.28(38) | 92.57(7) | 0.00(0) | 0.00(0) | 0.00(0) | 0.32(6) | 0.35(6) |
| AUCTIONS/AUC_SCHEDULING/ | 84 | 267.45(75) | 230.79(73) | 119.67(78) | 63.42(83) | 63.52(83) | 235.36(64) | 219.22(50) | 0.00(0) | 0.00(0) | 474.65(3) | 0.17(19) | 0.13(14) |
| PSEUDO/miplib/ | 12 | 3.56(2) | 2.20(2) | 23.94(3) | 242.30(3) | 289.64(3) | 24.75(3) | 45.53(3) | 0.00(0) | 0.21(1) | 393.02(2) | 0.07(1) | 0.17(1) |
| WCSP/SPOT5/DIR/ | 21 | 1.19(4) | 0.56(4) | 5.21(4) | 11.15(2) | 11.15(2) | 7.81(3) | 99.27(6) | 1.06(5) | 12.53(5) | 204.46(9) | 0.01(1) | 0.01(1) |
| WCSP/SPOT5/LOG/ | 21 | 1.48(4) | 1.28(4) | 0.62(4) | 18.73(2) | 15.10(2) | 19.59(3) | 129.05(6) | 10.85(6) | 5.62(5) | 128.47(8) | 0.01(1) | 0.01(1) |
| min-enc/planning/ | 56 | 104.18(39) | 95.89(39) | 93.95(38) | 122.62(45) | 122.79(45) | 3.71(56) | 11.54(56) | 9.57(22) | 1.87(27) | 162.64(39) | 0.08(12) | 0.02(7) |
| min-enc/warehouses/ | 18 | 0.18(1) | 0.16(1) | 3.10(12) | 0.30(1) | 0.30(1) | 1.45(1) | 136.47(4) | 0.00(0) | 4.62(18) | 155.77(1) | 0.30(1) | 0.30(1) |
| random-net/ | 78 | 427.19(17) | 430.11(17) | 1172.75(1) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 22.87(55) | 325.28(24) | 0.00(0) | 0.00(0) | 0.00(0) |
|
| Total | 378 | 230 | 228 | 214 | 207 | 207 | 168 | 132 | 88 | 80 | 62 | 41 | 31 |