The programs that produce SAT benchmarks, each as a Docker image: the families the competitions used, and others that live outside them, in papers and in solver tuning.

A pilot, and a collective one: please check, correct and contribute. Everything here is generated from the data of the sat-heritage/benchs-generators repository. A generator whose licence is unknown has its recipe published but no image, and a family with no generator is one we could not find or could not run: corrections, missing generators and licence clarifications are welcome as pull requests or issues. Adding your own generator takes four files, or just an issue with a link to your code: see adding a generator. The companion project for solvers is SAT Heritage.
Overview · Families

mechanical-master-key

Solver rankings on this family, and the generator that reproduces it.

Generator: lockchart-to-cnf

lockchart-gen -l LOCKS [-p POSITIONS] [-d DEPTHS] [-r DENSITY]

3 of 20 instances of this family regenerated exactly. Details and commands.