Solver | #Ins. | akmaxsat | akmaxsat_ls | IncWMaxSatz | WMaxSatz+ | WMaxSatz-2009 | claspMaxSat | sat4j-maxsat | WPM2 | wbo1.6 | WPM1 |
frb | 34 | 41% | 41% | 41% | 26% | 26% | 26% | 26% | 44% | 11% | 0% |
ramsey | 15 | 26% | 26% | 26% | 26% | 26% | 26% | 26% | 13% | 6% | 13% |
wmaxcut/dimacs_mod | 62 | 96% | 95% | 88% | 88% | 88% | 3% | 3% | 4% | 6% | 6% |
wmaxcut/spinglass | 5 | 80% | 80% | 80% | 80% | 80% | 20% | 20% | 0% | 0% | 0% |