Solver#Ins.akmaxsat_lsakmaxsatIncMaxSatzWMaxSatz-2009WMaxSatz+PM2QMaxSat0.4-cnfwbo1.6-cnfWPM1claspMaxSatsat4j-maxsat
bipartite/maxcut-140-630-0.750179.46(50) 226.99(50) 431.60(50) 447.64(49)509.66(49)0.00(0)0.00(0)0.00(0)0.00(0)0.00(0)0.00(0)
bipartite/maxcut-140-630-0.850132.14(50) 171.98(50) 310.71(50) 392.80(50) 437.00(50) 0.00(0)0.00(0)0.00(0)0.00(0)0.00(0)0.00(0)
maxcut/dimacs-mod6256.03(52) 55.52(52) 81.19(52) 175.93(52) 159.40(52) 86.29(9)344.09(7)0.01(4)0.01(3)0.01(2)0.85(2)
maxcut/spinglass512.10(3) 14.84(3) 28.69(3) 5.29(3) 5.77(3) 3.82(2)0.45(1)4.03(2)0.00(0)46.74(1)51.17(1)
Total167155 1551551541541186333