Solver#Ins.akmaxsat_lsakmaxsatIncMaxSatzWMaxSatz-2009WMaxSatz+PM2wbo1.6-cnfQMaxSat0.4-cnfclaspMaxSatsat4j-maxsatWPM1
d/bipartite/maxcut-140-630-0.750100%100%100%98%98%0%0%0%0%0%0%
d/bipartite/maxcut-140-630-0.850100%100%100%100%100%0%0%0%0%0%0%
maxcut/dimacs-mod6283%83%83%83%83%14%6%11%3%3%4%
maxcut/spinglass560%60%60%60%60%40%40%20%20%20%0%