Solver | #Ins. | akmaxsat_ls | iut_rr_rv | iut_rr_ls | akmaxsat | WMaxSatz09 | WMaxSatz+ | PM2 | QMaxSat-g2-ms | wbo1.6-cnf | ShinMaxSat | WPM1 | Sat4j |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
d/bipartite/maxcut-140-630-0.7 | 50 | 100% | 100% | 100% | 100% | 98% | 98% | 0% | 0% | 0% | 0% | 0% | 0% |
d/bipartite/maxcut-140-630-0.8 | 50 | 100% | 100% | 100% | 100% | 100% | 100% | 0% | 0% | 0% | 0% | 0% | 0% |
maxcut/dimacs-mod | 62 | 83% | 83% | 83% | 83% | 83% | 83% | 14% | 12% | 6% | 11% | 8% | 3% |
maxcut/spinglass | 5 | 60% | 60% | 60% | 60% | 60% | 60% | 40% | 40% | 40% | 20% | 20% | 0% |