| Solver | #Ins. | akmaxsat | akmaxsat_ls | IncWMaxSatz | WMaxSatz+ | WMaxSatz-2009 | WPM2 | claspMaxSat | sat4j-maxsat | wbo1.6 | WPM1 |
|---|
| frb | 34 | 106.08(14) | 89.03(14) | 133.93(14) | 21.91(9) | 21.81(9) | 141.58(15) | 271.55(9) | 833.44(9) | 25.52(4) | 0.00(0) |
| ramsey | 15 | 80.94(4) | 66.23(4) | 61.46(4) | 150.70(4) | 150.85(4) | 176.52(2) | 172.57(4) | 101.09(4) | 1.32(1) | 287.56(2) |
| wmaxcut/dimacs_mod | 62 | 62.21(60) | 51.73(59) | 52.63(55) | 62.68(55) | 63.66(55) | 0.23(3) | 0.01(2) | 0.70(2) | 0.02(4) | 0.12(4) |
| wmaxcut/spinglass | 5 | 16.44(4) | 11.28(4) | 34.45(4) | 50.32(4) | 50.18(4) | 0.00(0) | 1.82(1) | 15.50(1) | 0.00(0) | 0.00(0) |
|
| Total | 116 | 82 | 81 | 77 | 72 | 72 | 20 | 16 | 16 | 9 | 6 |