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

hashtable-safety

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

What to run on a problem of this kind

The solvers that did best on this family in the SAT Competition 2023, as images of the companion project. They are a better bet on such a problem than the overall winner of that year, which this family often disagrees with.

SolverSolvedCommand
Kissat_MAB_prop20 / 20 
docker run --rm -v "$PWD:/data" satex/kissat-mab-prop:2023 your-instance.cnf
Kissat_MAB_prop-no_sym20 / 20 no image published for this solver yet
Kissat_MAB_prop_pr-no_sym20 / 20 no image published for this solver yet

No generator here yet

We have not packaged a generator for this family. If you wrote it, or know where its code lives, a issue is very welcome.

SAT Competition 2023 · 20 instances

Ranked by PAR-2 on this family alone. Winner of the whole main track that year: SBVA-sbva_cadical.

#SolverSolvedPAR-2 per instance
1Kissat_MAB_prop 20 / 20194 s
2Kissat_MAB_prop-no_sym 20 / 20194 s
3Kissat_MAB_prop_pr-no_sym 20 / 20195 s
4MergeSat-bve_gates 20 / 20247 s
5tabularasat-1.0.0 20 / 20302 s
6AMSAT_ 20 / 20369 s
7CaDiCaL_vivinst 20 / 20461 s
8MapleCaDiCaL_PPD-950_950 20 / 20472 s
9Cadical_rel_1.5.3.Scavel 20 / 20478 s
10MapleCaDiCaL_PPD-500_500 20 / 20486 s
11MapleCaDiCaL_LBD-990_275 20 / 20498 s
12Cadical_ESA 20 / 20508 s