Solver#Ins.akmaxsat_lsakmaxsatIncWMaxSatzWMaxSatz+WMaxSatz-2009WPM2WMaxsat_PowerLSW_PowerSAT4J-MAXSAT-2.2.0wbo-1.4a-wcnfWPM1
RAMSEY/4812.10(37) 16.09(36)7.49(36)17.97(35)17.86(35)10.26(35)0.04(28)0.04(28)18.98(37) 0.06(34)0.04(34)
WMAXCUT/DIMACS_MOD/6249.24(59) 55.37(59) 52.52(55)64.81(55)65.74(55)0.22(3)0.17(14)0.14(13)0.75(2)0.01(4)0.11(4)
WMAXCUT/SPINGLASS/513.05(4) 19.26(4) 34.58(4) 51.29(4) 51.28(4) 0.00(0)0.07(2)0.06(2)13.33(1)0.00(0)0.00(0)
frb/34417.67(14)377.54(14)134.15(14)21.24(9)21.23(9)126.27(15) 0.05(4)0.05(4)4.40(4)140.85(4)0.00(0)
Total149114 113109103103534847444238