Solver#Ins.Maxsat_Powerakmaxsat_lsLS_PowerakmaxsatIncMaxSatzWMaxSatz-2009WMaxSatz+PM2WPM1wbo-1.4aSAT4J-MAXSAT-2.2.0
MAXCUT/DIMACS_MOD/6293.30(52) 54.92(52) 98.11(52) 59.66(52) 80.85(52) 178.25(52) 161.91(52) 222.98(10)0.03(4)0.01(4)0.85(2)
MAXCUT/SPINGLASS/57.03(3) 11.90(3) 12.63(3) 13.78(3) 28.90(3) 5.37(3) 5.88(3) 3.77(2)0.31(2)15.28(2)46.90(1)
bipartite/maxcut-140-630-0.7/50170.39(50) 200.00(50) 209.30(50) 256.63(50) 431.64(50) 459.21(49)524.36(49)0.00(0)0.00(0)0.00(0)0.00(0)
bipartite/maxcut-140-630-0.8/50124.43(50) 145.61(50) 152.74(50) 196.14(50) 310.69(50) 402.61(50) 449.04(50) 0.00(0)0.00(0)0.00(0)0.00(0)
Total167155 15515515515515415412663