Solver | #Ins. | ISAC+-wms | WMaxSatz+ | WMaxSatz09 | Maxsatz2013f | ILP-2013 | scip-maxsat | Toulbar2 | ckmax-small | ahmaxsat | MaxHS | wmifumax | optimax-ni | optimax | glpk-maxsat | WPM2-2013 | MSUnCore | toysat | WPM1-2013 | wbo2.1-wcnf |
frb | 34 | 94% | 41% | 41% | 41% | 55% | 58% | 29% | 41% | 41% | 61% | 85% | 67% | 82% | 11% | 26% | 26% | 11% | 11% | 11% |
ramsey | 15 | 26% | 26% | 26% | 0% | 20% | 20% | 13% | 20% | 20% | 6% | 6% | 20% | 0% | 13% | 20% | 20% | 13% | 6% | 6% |
wmaxcut/dimacs_mod | 62 | 96% | 91% | 91% | 95% | 56% | 48% | 82% | 96% | 88% | 14% | 4% | 6% | 6% | 16% | 8% | 6% | 3% | 8% | 6% |
wmaxcut/spinglass | 5 | 80% | 80% | 80% | 80% | 80% | 60% | 60% | 20% | 20% | 60% | 0% | 0% | 0% | 40% | 20% | 0% | 0% | 0% | 0% |