Solver | #Ins. | akmaxsat_ls | akmaxsat | IncWMaxSatz | WMaxSatz+ | WMaxSatz-2009 | WPM2 | WMaxsat_Power | LSW_Power | SAT4J-MAXSAT-2.2.0 | wbo-1.4a-wcnf | WPM1 |
RAMSEY/ | 48 | 12.10(37) | 16.09(36) | 7.49(36) | 17.97(35) | 17.86(35) | 10.26(35) | 0.04(28) | 0.04(28) | 18.98(37) | 0.06(34) | 0.04(34) |
WMAXCUT/DIMACS_MOD/ | 62 | 49.24(59) | 55.37(59) | 52.52(55) | 64.81(55) | 65.74(55) | 0.22(3) | 0.17(14) | 0.14(13) | 0.75(2) | 0.01(4) | 0.11(4) |
WMAXCUT/SPINGLASS/ | 5 | 13.05(4) | 19.26(4) | 34.58(4) | 51.29(4) | 51.28(4) | 0.00(0) | 0.07(2) | 0.06(2) | 13.33(1) | 0.00(0) | 0.00(0) |
frb/ | 34 | 417.67(14) | 377.54(14) | 134.15(14) | 21.24(9) | 21.23(9) | 126.27(15) | 0.05(4) | 0.05(4) | 4.40(4) | 140.85(4) | 0.00(0) |
Total | 149 | 114 | 113 | 109 | 103 | 103 | 53 | 48 | 47 | 44 | 42 | 38 |