The SATLIB library is a popular SAT benchmark, but I can\'t seem to find any SotA benchmarks against it. The homepage\'s evaluation section is under construction.
Doe
