Solver | #Ins. | akmaxsat_ls | akmaxsat | iut_rr_rv | iut_rr_ls | WMaxSatz+ | WMaxSatz09 | ShinMaxSat | Sat4j | wbo1.6 | WPM1 |
frb | 34 | 14% | 14% | 14% | 14% | 9% | 9% | 28% | 4% | 4% | 4% |
ramsey | 15 | 4% | 4% | 4% | 4% | 4% | 4% | 1% | 4% | 1% | 1% |
wmaxcut/dimacs_mod | 62 | 60% | 60% | 60% | 60% | 55% | 55% | 3% | 2% | 4% | 4% |
wmaxcut/spinglass | 5 | 4% | 4% | 4% | 4% | 4% | 4% | 0% | 0% | 0% | 0% |