This is a list of solvers used to check the (un-)satisfiability of the formulae proposed as benchmarks in this site.
If your favourite solver is capable of solving (part of) the proposed benchmarks, you are kindly asked to let me know so that I can include it in the list below.