State-of-the-Art Solvers

Hold Ctrl to select multiple instances.
Filter instances
JS expression filter. Valid variables are name, category, subcategories, source, used since SC07, eval status, SC12 rating, MD5 before cleanup,
Example: (numAtoms >= 6000 && numAtoms <= 8000 && name.match(/k3/))
A solver is considered state-of-the-art if no other solver solves a strict superset of the instances it solves.
Unique solver contribution is the number of instances only solved by this solver.