Solver | #Ins. | ISAC+-wms | WMaxSatz+ | WMaxSatz09 | ckmax-small | Maxsatz2013f | ahmaxsat | Toulbar2 | ILP-2013 | scip-maxsat | MaxHS | wmifumax | optimax | optimax-ni | glpk-maxsat | WPM2-2013 | MSUnCore | WPM1-2013 | wbo2.1-wcnf | toysat |
frb | 34 | 121.10(32) | 103.77(14) | 115.86(14) | 354.08(14) | 62.78(14) | 118.70(14) | 181.77(10) | 129.65(19) | 201.82(20) | 132.03(21) | 25.89(29) | 97.72(28) | 111.76(23) | 2.51(4) | 182.67(9) | 115.60(9) | 3.69(4) | 253.96(4) | 4.80(4) |
ramsey | 15 | 42.67(4) | 101.62(4) | 101.40(4) | 101.02(3) | 0.00(0) | 15.41(3) | 72.29(2) | 201.17(3) | 276.08(3) | 1.63(1) | 1.46(1) | 0.00(0) | 148.98(3) | 324.64(2) | 94.66(3) | 84.87(3) | 0.39(1) | 1.01(1) | 125.08(2) |
wmaxcut/dimacs_mod | 62 | 33.53(60) | 92.81(57) | 94.57(57) | 50.73(60) | 72.94(59) | 121.25(55) | 256.89(51) | 431.83(35) | 382.62(30) | 115.23(9) | 0.01(3) | 0.62(4) | 0.57(4) | 100.12(10) | 19.26(5) | 51.21(4) | 100.77(5) | 0.02(4) | 0.02(2) |
wmaxcut/spinglass | 5 | 9.27(4) | 31.80(4) | 31.60(4) | 0.47(1) | 17.55(4) | 0.08(1) | 91.91(3) | 24.77(4) | 17.70(3) | 43.85(3) | 0.00(0) | 0.00(0) | 0.00(0) | 8.47(2) | 376.85(1) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) |
Total | 116 | 100 | 79 | 79 | 78 | 77 | 73 | 66 | 61 | 56 | 34 | 33 | 32 | 30 | 18 | 18 | 16 | 10 | 9 | 8 |