Solver | #Ins. | akmaxsat_ls | iut_rr_rv | iut_rr_ls | akmaxsat | WMaxSatz09 | WMaxSatz+ | PM2 | QMaxSat-g2-ms | ShinMaxSat | wbo1.6-cnf | WPM1 | Sat4j |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
d/bipartite/maxcut-140-630-0.7 | 50 | 50% | 50% | 50% | 50% | 49% | 49% | 0% | 0% | 0% | 0% | 0% | 0% |
d/bipartite/maxcut-140-630-0.8 | 50 | 50% | 50% | 50% | 50% | 50% | 50% | 0% | 0% | 0% | 0% | 0% | 0% |
maxcut/dimacs-mod | 62 | 52% | 52% | 52% | 52% | 52% | 52% | 9% | 8% | 7% | 4% | 5% | 2% |
maxcut/spinglass | 5 | 3% | 3% | 3% | 3% | 3% | 3% | 2% | 2% | 1% | 2% | 1% | 0% |