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 · Generators

Oddball

oddball-gen BALLS WEIGHINGS [--strategy NAME]

What it is

Authors
Andrew Mihal
Source of the author list
repository acmihal/oddball and the SAT Competition 2025 benchmark description
Language
Python
Licence
none stated
Competitions
SAT Competition 2025
Repository
https://github.com/acmihal/oddball.git
Pinned commit
e1c977c6daedfa295caf911c6b08f2b516e782c4
Pinned git tree
227f5e953c1cb858d91e8191e2fef9db71e97792
Seed
none; the formula is built through z3 and is deterministic
Licence note
the repository declares no licence: the recipe is published, the image is not, until the author agrees

Build it and run it

docker build -t satex-gen/oddball:2025 cnf/oddball
docker run --rm satex-gen/oddball:2025 ...  > instance.cnf

The image is not published: the generator declares no licence, so only this recipe is distributed. Building it locally is fine.

Reference instances

40 with the same GBD hash. Each line regenerates one known instance, from a competition or from the set its author published; the level says how close the result is. See verification.

InstanceFamilyCommand argumentsGBD hashLevel
oddball_112_5_ttf.normalised.cnfoddball-weighing 112 5 --strategy TruthTableForced f406e2b8b28f… 2.5 MB N1
oddball_13_4_ttf.normalised.cnfoddball-weighing 13 4 --strategy TruthTableForced e7d3f698d527… 66 kB N1
oddball_13_5_ttf.normalised.cnfoddball-weighing 13 5 --strategy TruthTableForced c569d4b2b2e9… 164 kB N1
oddball_17_5_ttf.normalised.cnfoddball-weighing 17 5 --strategy TruthTableForced cabfdc91f644… 268 kB N1
oddball_19_4_ttf.normalised.cnfoddball-weighing 19 4 --strategy TruthTableForced efc1b7cc3861… 130 kB N1
oddball_19_5_ttf.normalised.cnfoddball-weighing 19 5 --strategy TruthTableForced 3e68fee79ecf… 298 kB N1
oddball_20_4_ttf.normalised.cnfoddball-weighing 20 4 --strategy TruthTableForced 9b990af19f6c… 104 kB N1
oddball_20_5_ttf.normalised.cnfoddball-weighing 20 5 --strategy TruthTableForced 8f391f2bf816… 213 kB N1
oddball_22_4_ttf.normalised.cnfoddball-weighing 22 4 --strategy TruthTableForced 8085f8b31790… 166 kB N1
oddball_22_5_ttf.normalised.cnfoddball-weighing 22 5 --strategy TruthTableForced a1fdd60d2570… 382 kB N1
oddball_23_4_ttf.normalised.cnfoddball-weighing 23 4 --strategy TruthTableForced 13bcbba1b2e9… 169 kB N1
oddball_23_5_ttf.normalised.cnfoddball-weighing 23 5 --strategy TruthTableForced 263dc10d9762… 419 kB N1
oddball_24_4_ttf.normalised.cnfoddball-weighing 24 4 --strategy TruthTableForced f1cd694d4289… 186 kB N1
oddball_24_5_ttf.normalised.cnfoddball-weighing 24 5 --strategy TruthTableForced 296fd43ed40e… 422 kB N1
oddball_26_4_ttf.normalised.cnfoddball-weighing 26 4 --strategy TruthTableForced 4cf3505e5183… 195 kB N1
oddball_26_5_ttf.normalised.cnfoddball-weighing 26 5 --strategy TruthTableForced 1c30806c5aa9… 431 kB N1
oddball_28_4_ttf.normalised.cnfoddball-weighing 28 4 --strategy TruthTableForced c9a0cd269f38… 214 kB N1
oddball_28_5_ttf.normalised.cnfoddball-weighing 28 5 --strategy TruthTableForced a8201f69aa22… 488 kB N1
oddball_29_4_ttf.normalised.cnfoddball-weighing 29 4 --strategy TruthTableForced fdefca5f5236… 243 kB N1
oddball_29_5_ttf.normalised.cnfoddball-weighing 29 5 --strategy TruthTableForced d2796e06d615… 536 kB N1
oddball_33_4_ttf.normalised.cnfoddball-weighing 33 4 --strategy TruthTableForced 575aa1cccad8… 191 kB N1
oddball_43_5_tto_zp.normalised.cnfoddball-weighing 43 5 --strategy TruthTableOrdering --strategy ZeroPlus d25a85b032d5… 5.2 MB N1
oddball_44_5_tto_zp.normalised.cnfoddball-weighing 44 5 --strategy TruthTableOrdering --strategy ZeroPlus da1491f3317f… 4.5 MB N1
oddball_47_5_tto_zp.normalised.cnfoddball-weighing 47 5 --strategy TruthTableOrdering --strategy ZeroPlus cdf2e47ea643… 5.2 MB N1
oddball_50_5_tto_zp.normalised.cnfoddball-weighing 50 5 --strategy TruthTableOrdering --strategy ZeroPlus ee8d5e66d3bc… 3.8 MB N1
oddball_51_5_tto_zp.normalised.cnfoddball-weighing 51 5 --strategy TruthTableOrdering --strategy ZeroPlus 41915707d831… 5.0 MB N1
oddball_52_5_tto_zp.normalised.cnfoddball-weighing 52 5 --strategy TruthTableOrdering --strategy ZeroPlus 1b8806812861… 4.9 MB N1
oddball_53_5_tto_zp.normalised.cnfoddball-weighing 53 5 --strategy TruthTableOrdering --strategy ZeroPlus 0c0430a68f14… 5.7 MB N1
oddball_54_5_tto_zp.normalised.cnfoddball-weighing 54 5 --strategy TruthTableOrdering --strategy ZeroPlus 0ec8c5e9084c… 5.4 MB N1
oddball_56_5_tto_zp.normalised.cnfoddball-weighing 56 5 --strategy TruthTableOrdering --strategy ZeroPlus 7a206b67366c… 5.8 MB N1
oddball_57_5_tto_zp.normalised.cnfoddball-weighing 57 5 --strategy TruthTableOrdering --strategy ZeroPlus ddf9620410e6… 6.5 MB N1
oddball_67_5_tto_zp.normalised.cnfoddball-weighing 67 5 --strategy TruthTableOrdering --strategy ZeroPlus 43ebdada6f61… 9.4 MB N1
oddball_69_5_tto_zp.normalised.cnfoddball-weighing 69 5 --strategy TruthTableOrdering --strategy ZeroPlus 2b4467a5ac4a… 9.8 MB N1
oddball_70_5_tto_zp.normalised.cnfoddball-weighing 70 5 --strategy TruthTableOrdering --strategy ZeroPlus 2c458ef30d7b… 8.9 MB N1
oddball_74_5_tto_zp.normalised.cnfoddball-weighing 74 5 --strategy TruthTableOrdering --strategy ZeroPlus 96a8a019f970… 9.9 MB N1
oddball_76_5_tto_zp.normalised.cnfoddball-weighing 76 5 --strategy TruthTableOrdering --strategy ZeroPlus 559579ca5365… 10.0 MB N1
oddball_78_5_tto_zp.normalised.cnfoddball-weighing 78 5 --strategy TruthTableOrdering --strategy ZeroPlus 4acbafdcef64… 10.6 MB N1
oddball_79_5_tto_zp.normalised.cnfoddball-weighing 79 5 --strategy TruthTableOrdering --strategy ZeroPlus 95d9c7e9f2c7… 12.1 MB N1
oddball_80_5_tto_zp.normalised.cnfoddball-weighing 80 5 --strategy TruthTableOrdering --strategy ZeroPlus 19951d43eff5… 11.4 MB N1
oddball_97_5_ttf.normalised.cnfoddball-weighing 97 5 --strategy TruthTableForced 83edb5b9f4f5… 1.9 MB N1

Notes