CRUX miters
crux-gen SIZE SEED
What it is
- Authors
- Armin Biere
- Source of the author list
- the generator and its README, sent by the author in September 2026
- Language
- C, then Boolector and aiger
- Licence
- none stated
- Competitions
- SAT Race 2019
- Repository
- https://github.com/sat-heritage/benchs-generators/releases/download/sources-2026/cruxmiter-gencruxmitersmt-20211222.tar.gz
- Seed
- the second argument; the generator seeds the C library random generator, so the same seed gives the same formula on the same C library
- Notes
- a miter between two trees of bit-vector adders over the same inputs, added in a random order on each side: hard for resolution, and used beyond the competitions, in work on distributed cube and conquer and on tuning for cubing. The chain needs Boolector with the normalisation of adders disabled and the aiger of May 2021: at its default rewriting level Boolector proves the miter away, and a later aigtocnf writes smaller, different formulas
- Licence note
- the generator is on no public repository; Armin Biere agreed in September 2026 that it be part of SAT Heritage, and his sources travel in the sources-2026 release of this repository, with a PROVENANCE.json recording how they reached us. Ask him before reusing them elsewhere, and before publishing the image
Build it and run it
docker build -t satex-gen/cruxmiter:2021 cnf/cruxmiter docker run --rm satex-gen/cruxmiter:2021 ... > instance.cnf
The image is not published: the generator declares no licence, so only this recipe is distributed. Building it locally is fine.
What it can produce
A generator is not limited to the instances a competition happened to keep: these are sample runs across its parameters, measured on the built image. Each command was run twice, to see whether it gives the same formula every time.
| Sample | Command arguments | Variables | Clauses | ||
|---|---|---|---|---|---|
| 12 input bits | 12 1 |
176 | 471 | ||
| 20 input bits | 20 1 |
345 | 948 | ||
| 28 input bits | 28 1 |
480 | 1,329 | ||
| 32 input bits | 32 1 |
591 | 1,644 |
Reference instances
230 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.
| Instance | Family | Command arguments | GBD hash | Level |
|---|---|---|---|---|
| cruxmiter10seed0.cnf | — | 10 0 |
f5dbd5d4f47f… | N1 |
| cruxmiter10seed1.cnf | — | 10 1 |
f5dbd5d4f47f… | N1 |
| cruxmiter10seed2.cnf | — | 10 2 |
0126fe1b2d75… | N1 |
| cruxmiter10seed3.cnf | — | 10 3 |
5787818feb7e… | N1 |
| cruxmiter10seed4.cnf | — | 10 4 |
c4b18e990cac… | N1 |
| cruxmiter10seed5.cnf | — | 10 5 |
eab5c02d8fd6… | N1 |
| cruxmiter10seed6.cnf | — | 10 6 |
06fe82db1d0b… | N1 |
| cruxmiter10seed7.cnf | — | 10 7 |
251141e8fe23… | N1 |
| cruxmiter10seed8.cnf | — | 10 8 |
e8ca74d792fa… | N1 |
| cruxmiter10seed9.cnf | — | 10 9 |
070e33720779… | N1 |
| cruxmiter11seed0.cnf | — | 11 0 |
2ae9eb7156a9… | N1 |
| cruxmiter11seed1.cnf | — | 11 1 |
2ae9eb7156a9… | N1 |
| cruxmiter11seed2.cnf | — | 11 2 |
99b30b45c711… | N1 |
| cruxmiter11seed3.cnf | — | 11 3 |
6ca59f2863ac… | N1 |
| cruxmiter11seed4.cnf | — | 11 4 |
f1874ffdc305… | N1 |
| cruxmiter11seed5.cnf | — | 11 5 |
2e1ad0103e4a… | N1 |
| cruxmiter11seed6.cnf | — | 11 6 |
5cd05e64830e… | N1 |
| cruxmiter11seed7.cnf | — | 11 7 |
a43b6a132d77… | N1 |
| cruxmiter11seed8.cnf | — | 11 8 |
2f86c65c40b1… | N1 |
| cruxmiter11seed9.cnf | — | 11 9 |
22c59d7284c7… | N1 |
| cruxmiter12seed0.cnf | — | 12 0 |
34ae73bed844… | N1 |
| cruxmiter12seed1.cnf | — | 12 1 |
34ae73bed844… | N1 |
| cruxmiter12seed2.cnf | — | 12 2 |
6d16a7c58313… | N1 |
| cruxmiter12seed3.cnf | — | 12 3 |
0554775d247c… | N1 |
| cruxmiter12seed4.cnf | — | 12 4 |
4abc84392ec0… | N1 |
| cruxmiter12seed5.cnf | — | 12 5 |
c0156fb94d58… | N1 |
| cruxmiter12seed6.cnf | — | 12 6 |
9b946b0e33f3… | N1 |
| cruxmiter12seed7.cnf | — | 12 7 |
a32a95cc0e0c… | N1 |
| cruxmiter12seed8.cnf | — | 12 8 |
a1a66bbe7924… | N1 |
| cruxmiter12seed9.cnf | — | 12 9 |
9771eeb4d5bc… | N1 |
| cruxmiter13seed0.cnf | — | 13 0 |
ce7fce30d14c… | N1 |
| cruxmiter13seed1.cnf | — | 13 1 |
ce7fce30d14c… | N1 |
| cruxmiter13seed2.cnf | — | 13 2 |
781b621b4414… | N1 |
| cruxmiter13seed3.cnf | — | 13 3 |
c74fd0efa26e… | N1 |
| cruxmiter13seed4.cnf | — | 13 4 |
f2fb2f2afbf8… | N1 |
| cruxmiter13seed5.cnf | — | 13 5 |
e7539ca6504b… | N1 |
| cruxmiter13seed6.cnf | — | 13 6 |
a6696684984a… | N1 |
| cruxmiter13seed7.cnf | — | 13 7 |
2e31702c4ce5… | N1 |
| cruxmiter13seed8.cnf | — | 13 8 |
a632d7903fb7… | N1 |
| cruxmiter13seed9.cnf | — | 13 9 |
2520575e17e9… | N1 |
| cruxmiter14seed0.cnf | — | 14 0 |
e99f2ef4c8e0… | N1 |
| cruxmiter14seed1.cnf | — | 14 1 |
e99f2ef4c8e0… | N1 |
| cruxmiter14seed2.cnf | — | 14 2 |
e81c8ebd6a13… | N1 |
| cruxmiter14seed3.cnf | — | 14 3 |
1592be150137… | N1 |
| cruxmiter14seed4.cnf | — | 14 4 |
813b2ab1cfe4… | N1 |
| cruxmiter14seed5.cnf | — | 14 5 |
0e4e840a8e5c… | N1 |
| cruxmiter14seed6.cnf | — | 14 6 |
9708d062bc4e… | N1 |
| cruxmiter14seed7.cnf | — | 14 7 |
aa13c9b5ce2f… | N1 |
| cruxmiter14seed8.cnf | — | 14 8 |
d39dda2fc2f0… | N1 |
| cruxmiter14seed9.cnf | — | 14 9 |
b5ec9ceeb4b1… | N1 |
| cruxmiter15seed0.cnf | — | 15 0 |
b7ba4e40c5de… | N1 |
| cruxmiter15seed1.cnf | — | 15 1 |
b7ba4e40c5de… | N1 |
| cruxmiter15seed2.cnf | — | 15 2 |
48c4178b216c… | N1 |
| cruxmiter15seed3.cnf | — | 15 3 |
e7c9859b1efc… | N1 |
| cruxmiter15seed4.cnf | — | 15 4 |
65ca0a9408f8… | N1 |
| cruxmiter15seed5.cnf | — | 15 5 |
26562de82769… | N1 |
| cruxmiter15seed6.cnf | — | 15 6 |
336cc4fc88bf… | N1 |
| cruxmiter15seed7.cnf | — | 15 7 |
059e668db9f7… | N1 |
| cruxmiter15seed8.cnf | — | 15 8 |
9924215b76df… | N1 |
| cruxmiter15seed9.cnf | — | 15 9 |
b12cdfff2f22… | N1 |
| cruxmiter16seed0.cnf | — | 16 0 |
bd7b3604c6c2… | N1 |
| cruxmiter16seed1.cnf | — | 16 1 |
bd7b3604c6c2… | N1 |
| cruxmiter16seed2.cnf | — | 16 2 |
89f56e35e8d2… | N1 |
| cruxmiter16seed3.cnf | — | 16 3 |
a623c4fd0de3… | N1 |
| cruxmiter16seed4.cnf | — | 16 4 |
97fd639e4a9e… | N1 |
| cruxmiter16seed5.cnf | — | 16 5 |
b2a1b4d79392… | N1 |
| cruxmiter16seed6.cnf | — | 16 6 |
f77af556e780… | N1 |
| cruxmiter16seed7.cnf | — | 16 7 |
802dff90f708… | N1 |
| cruxmiter16seed8.cnf | — | 16 8 |
860b864f63b9… | N1 |
| cruxmiter16seed9.cnf | — | 16 9 |
9edfb83987c5… | N1 |
| cruxmiter17seed0.cnf | — | 17 0 |
1dd75285764a… | N1 |
| cruxmiter17seed1.cnf | — | 17 1 |
1dd75285764a… | N1 |
| cruxmiter17seed2.cnf | — | 17 2 |
3c11a1da0348… | N1 |
| cruxmiter17seed3.cnf | — | 17 3 |
baba358e4624… | N1 |
| cruxmiter17seed4.cnf | — | 17 4 |
483316573e45… | N1 |
| cruxmiter17seed5.cnf | — | 17 5 |
f72b3e8524b6… | N1 |
| cruxmiter17seed6.cnf | — | 17 6 |
e37b4930e0dd… | N1 |
| cruxmiter17seed7.cnf | — | 17 7 |
e785f705ce1b… | N1 |
| cruxmiter17seed8.cnf | — | 17 8 |
e649ed873160… | N1 |
| cruxmiter17seed9.cnf | — | 17 9 |
6321de33396c… | N1 |
| cruxmiter18seed0.cnf | — | 18 0 |
a118c9d94511… | N1 |
| cruxmiter18seed1.cnf | — | 18 1 |
a118c9d94511… | N1 |
| cruxmiter18seed2.cnf | — | 18 2 |
c0f8d64fc76e… | N1 |
| cruxmiter18seed3.cnf | — | 18 3 |
6a05e26b05e8… | N1 |
| cruxmiter18seed4.cnf | — | 18 4 |
ee934f0f8f13… | N1 |
| cruxmiter18seed5.cnf | — | 18 5 |
57275a3fd27c… | N1 |
| cruxmiter18seed6.cnf | — | 18 6 |
33c7c57a9499… | N1 |
| cruxmiter18seed7.cnf | — | 18 7 |
a6cdb3554cbd… | N1 |
| cruxmiter18seed8.cnf | — | 18 8 |
adff9a6714a9… | N1 |
| cruxmiter18seed9.cnf | — | 18 9 |
582c17d0ad37… | N1 |
| cruxmiter19seed0.cnf | — | 19 0 |
23545195b813… | N1 |
| cruxmiter19seed1.cnf | — | 19 1 |
23545195b813… | N1 |
| cruxmiter19seed2.cnf | — | 19 2 |
df86e547cdda… | N1 |
| cruxmiter19seed3.cnf | — | 19 3 |
58b0cbe5bb72… | N1 |
| cruxmiter19seed4.cnf | — | 19 4 |
9d6d9dd6e720… | N1 |
| cruxmiter19seed5.cnf | — | 19 5 |
a17e62af055f… | N1 |
| cruxmiter19seed6.cnf | — | 19 6 |
82988eaba1d2… | N1 |
| cruxmiter19seed7.cnf | — | 19 7 |
883407716d22… | N1 |
| cruxmiter19seed8.cnf | — | 19 8 |
760233ac2d55… | N1 |
| cruxmiter19seed9.cnf | — | 19 9 |
331a0e370e0e… | N1 |
| cruxmiter20seed0.cnf | — | 20 0 |
c32e76d1593d… | N1 |
| cruxmiter20seed1.cnf | — | 20 1 |
c32e76d1593d… | N1 |
| cruxmiter20seed2.cnf | — | 20 2 |
24120db16eef… | N1 |
| cruxmiter20seed3.cnf | — | 20 3 |
cefb399a8d42… | N1 |
| cruxmiter20seed4.cnf | — | 20 4 |
fe5b418b80a7… | N1 |
| cruxmiter20seed5.cnf | — | 20 5 |
4c5e83b500d3… | N1 |
| cruxmiter20seed6.cnf | — | 20 6 |
cf9e4890cb5d… | N1 |
| cruxmiter20seed7.cnf | — | 20 7 |
efff1336b388… | N1 |
| cruxmiter20seed8.cnf | — | 20 8 |
4840dd2ce476… | N1 |
| cruxmiter20seed9.cnf | — | 20 9 |
56f146a5d962… | N1 |
| cruxmiter21seed0.cnf | — | 21 0 |
39ab64808a48… | N1 |
| cruxmiter21seed1.cnf | — | 21 1 |
39ab64808a48… | N1 |
| cruxmiter21seed2.cnf | — | 21 2 |
93fa26d7f6d3… | N1 |
| cruxmiter21seed3.cnf | — | 21 3 |
0f24f1cb7be6… | N1 |
| cruxmiter21seed4.cnf | — | 21 4 |
45a6d6bc9b04… | N1 |
| cruxmiter21seed5.cnf | — | 21 5 |
239c060c8a9f… | N1 |
| cruxmiter21seed6.cnf | — | 21 6 |
ecd14f7fd458… | N1 |
| cruxmiter21seed7.cnf | — | 21 7 |
3356e19818af… | N1 |
| cruxmiter21seed8.cnf | — | 21 8 |
6e3ac22f929a… | N1 |
| cruxmiter21seed9.cnf | — | 21 9 |
5303b3540ea8… | N1 |
| cruxmiter22seed0.cnf | — | 22 0 |
4e750c80ffcd… | N1 |
| cruxmiter22seed1.cnf | — | 22 1 |
4e750c80ffcd… | N1 |
| cruxmiter22seed2.cnf | — | 22 2 |
2c4f9b3c310f… | N1 |
| cruxmiter22seed3.cnf | — | 22 3 |
c5b14d7a2a7d… | N1 |
| cruxmiter22seed4.cnf | — | 22 4 |
37a9f1f756bd… | N1 |
| cruxmiter22seed5.cnf | — | 22 5 |
bb9b8fa20257… | N1 |
| cruxmiter22seed6.cnf | — | 22 6 |
3ee9eaf1b9a3… | N1 |
| cruxmiter22seed7.cnf | — | 22 7 |
a33432c603fa… | N1 |
| cruxmiter22seed8.cnf | — | 22 8 |
8c8723812387… | N1 |
| cruxmiter22seed9.cnf | — | 22 9 |
e418b7ad5c16… | N1 |
| cruxmiter23seed0.cnf | — | 23 0 |
88feb4f03132… | N1 |
| cruxmiter23seed1.cnf | — | 23 1 |
88feb4f03132… | N1 |
| cruxmiter23seed2.cnf | — | 23 2 |
7b39cd6ff160… | N1 |
| cruxmiter23seed3.cnf | — | 23 3 |
9623459bdb1e… | N1 |
| cruxmiter23seed4.cnf | — | 23 4 |
f28692e63993… | N1 |
| cruxmiter23seed5.cnf | — | 23 5 |
1f1debfc992b… | N1 |
| cruxmiter23seed6.cnf | — | 23 6 |
13ccaf23b099… | N1 |
| cruxmiter23seed7.cnf | — | 23 7 |
9fcdeaeade4f… | N1 |
| cruxmiter23seed8.cnf | — | 23 8 |
859763491b8d… | N1 |
| cruxmiter23seed9.cnf | — | 23 9 |
49409cececa1… | N1 |
| cruxmiter24seed0.cnf | — | 24 0 |
2243275b91fd… | N1 |
| cruxmiter24seed1.cnf | — | 24 1 |
2243275b91fd… | N1 |
| cruxmiter24seed2.cnf | — | 24 2 |
442df355eeb5… | N1 |
| cruxmiter24seed3.cnf | — | 24 3 |
156d20fa16de… | N1 |
| cruxmiter24seed4.cnf | — | 24 4 |
8b138df9c78a… | N1 |
| cruxmiter24seed5.cnf | — | 24 5 |
5238c8896abc… | N1 |
| cruxmiter24seed6.cnf | — | 24 6 |
63ad1e4a9290… | N1 |
| cruxmiter24seed7.cnf | — | 24 7 |
201483ce9ee6… | N1 |
| cruxmiter24seed8.cnf | — | 24 8 |
c796e52f1641… | N1 |
| cruxmiter24seed9.cnf | — | 24 9 |
72d1ec1b5d77… | N1 |
| cruxmiter25seed0.cnf | — | 25 0 |
34122dc95769… | N1 |
| cruxmiter25seed1.cnf | — | 25 1 |
34122dc95769… | N1 |
| cruxmiter25seed2.cnf | — | 25 2 |
b75d95911983… | N1 |
| cruxmiter25seed3.cnf | — | 25 3 |
cd4635584286… | N1 |
| cruxmiter25seed4.cnf | — | 25 4 |
dbb8171d1692… | N1 |
| cruxmiter25seed5.cnf | — | 25 5 |
ca21a15a2d5a… | N1 |
| cruxmiter25seed6.cnf | — | 25 6 |
b6098161311b… | N1 |
| cruxmiter25seed7.cnf | — | 25 7 |
be87f2f9427c… | N1 |
| cruxmiter25seed8.cnf | — | 25 8 |
9fa3768bc2fa… | N1 |
| cruxmiter25seed9.cnf | — | 25 9 |
07b464e82974… | N1 |
| cruxmiter26seed0.cnf | — | 26 0 |
50dff9620ffd… | N1 |
| cruxmiter26seed1.cnf | — | 26 1 |
50dff9620ffd… | N1 |
| cruxmiter26seed2.cnf | — | 26 2 |
52ae4b4ad829… | N1 |
| cruxmiter26seed3.cnf | — | 26 3 |
e9394b8759bb… | N1 |
| cruxmiter26seed4.cnf | — | 26 4 |
26b96a641a82… | N1 |
| cruxmiter26seed5.cnf | — | 26 5 |
bbc06ca02263… | N1 |
| cruxmiter26seed6.cnf | — | 26 6 |
3dbfe106204d… | N1 |
| cruxmiter26seed7.cnf | — | 26 7 |
4372e8cd4784… | N1 |
| cruxmiter26seed8.cnf | — | 26 8 |
08fbb55735fb… | N1 |
| cruxmiter26seed9.cnf | — | 26 9 |
0105daabd31b… | N1 |
| cruxmiter27seed0.cnf | — | 27 0 |
37332ddd48df… | N1 |
| cruxmiter27seed1.cnf | — | 27 1 |
37332ddd48df… | N1 |
| cruxmiter27seed2.cnf | — | 27 2 |
f5e7faf7749e… | N1 |
| cruxmiter27seed3.cnf | — | 27 3 |
2e2226386dd2… | N1 |
| cruxmiter27seed4.cnf | — | 27 4 |
bc9ed70cf383… | N1 |
| cruxmiter27seed5.cnf | — | 27 5 |
d0bd4b62f7e9… | N1 |
| cruxmiter27seed6.cnf | — | 27 6 |
7eacf10fed12… | N1 |
| cruxmiter27seed7.cnf | — | 27 7 |
128035706e51… | N1 |
| cruxmiter27seed8.cnf | — | 27 8 |
3a9bc30bca88… | N1 |
| cruxmiter27seed9.cnf | — | 27 9 |
cdc999fd7c15… | N1 |
| cruxmiter28seed0.cnf | — | 28 0 |
776f643668c2… | N1 |
| cruxmiter28seed1.cnf | — | 28 1 |
776f643668c2… | N1 |
| cruxmiter28seed2.cnf | — | 28 2 |
a46ce33db415… | N1 |
| cruxmiter28seed3.cnf | — | 28 3 |
babfd78551c0… | N1 |
| cruxmiter28seed4.cnf | — | 28 4 |
05497afd8eca… | N1 |
| cruxmiter28seed5.cnf | — | 28 5 |
b1a7a045561e… | N1 |
| cruxmiter28seed6.cnf | — | 28 6 |
bf3d06797f4d… | N1 |
| cruxmiter28seed7.cnf | — | 28 7 |
7cea02289609… | N1 |
| cruxmiter28seed8.cnf | — | 28 8 |
95c01e6943a1… 361bc22fcce8… 5 kB the copy used in the SAT Race 2019, whos… |
N1 |
| cruxmiter28seed9.cnf | — | 28 9 |
7f4708cabc47… | N1 |
| cruxmiter29seed0.cnf | — | 29 0 |
f5368c3795be… | N1 |
| cruxmiter29seed1.cnf | — | 29 1 |
f5368c3795be… | N1 |
| cruxmiter29seed2.cnf | — | 29 2 |
1d9ab102cd47… | N1 |
| cruxmiter29seed3.cnf | — | 29 3 |
23610ef45d83… | N1 |
| cruxmiter29seed4.cnf | — | 29 4 |
aa842e13530c… 609ab29d02c7… 5 kB the copy used in the SAT Race 2019, whos… |
N1 |
| cruxmiter29seed5.cnf | — | 29 5 |
34fde0657512… | N1 |
| cruxmiter29seed6.cnf | — | 29 6 |
6de6ffca8f1a… | N1 |
| cruxmiter29seed7.cnf | — | 29 7 |
b6d67e521f6c… | N1 |
| cruxmiter29seed8.cnf | — | 29 8 |
bbffebef679e… | N1 |
| cruxmiter29seed9.cnf | — | 29 9 |
0531dfdf9114… 10aca82b7b97… 5 kB the copy used in the SAT Race 2019, whos… |
N1 |
| cruxmiter30seed0.cnf | — | 30 0 |
9bfa40ce5cf9… | N1 |
| cruxmiter30seed1.cnf | — | 30 1 |
9bfa40ce5cf9… | N1 |
| cruxmiter30seed2.cnf | — | 30 2 |
f0ffaf203f8d… | N1 |
| cruxmiter30seed3.cnf | — | 30 3 |
764f9ae8d899… | N1 |
| cruxmiter30seed4.cnf | — | 30 4 |
3b1e6d2f739b… | N1 |
| cruxmiter30seed5.cnf | — | 30 5 |
185e75cc192e… | N1 |
| cruxmiter30seed6.cnf | — | 30 6 |
0809314d4bb0… | N1 |
| cruxmiter30seed7.cnf | — | 30 7 |
a51bbbe6bc5b… | N1 |
| cruxmiter30seed8.cnf | — | 30 8 |
c76cb796ee7d… | N1 |
| cruxmiter30seed9.cnf | — | 30 9 |
8ffb75b0ea9e… | N1 |
| cruxmiter31seed0.cnf | — | 31 0 |
85b13b97beb4… | N1 |
| cruxmiter31seed1.cnf | — | 31 1 |
85b13b97beb4… | N1 |
| cruxmiter31seed2.cnf | — | 31 2 |
fc8c3f16c407… | N1 |
| cruxmiter31seed3.cnf | — | 31 3 |
4711f0508ad7… | N1 |
| cruxmiter31seed4.cnf | — | 31 4 |
14f4000f47b7… | N1 |
| cruxmiter31seed5.cnf | — | 31 5 |
331ab8b94b88… | N1 |
| cruxmiter31seed6.cnf | — | 31 6 |
7fc9b2ce01c6… | N1 |
| cruxmiter31seed7.cnf | — | 31 7 |
d9e889677350… | N1 |
| cruxmiter31seed8.cnf | — | 31 8 |
6506365b80de… | N1 |
| cruxmiter31seed9.cnf | — | 31 9 |
3913b1aff1bd… | N1 |
| cruxmiter32seed0.cnf | — | 32 0 |
5993bc9be99d… | N1 |
| cruxmiter32seed1.cnf | — | 32 1 |
5993bc9be99d… | N1 |
| cruxmiter32seed2.cnf | — | 32 2 |
17ead282ac0c… | N1 |
| cruxmiter32seed3.cnf | — | 32 3 |
f776a1974ab6… | N1 |
| cruxmiter32seed4.cnf | — | 32 4 |
7d7f665dfb24… ba468264504d… 6 kB the copy used in the SAT Race 2019, whos… |
N1 |
| cruxmiter32seed5.cnf | — | 32 5 |
59109d3f33e9… | N1 |
| cruxmiter32seed6.cnf | — | 32 6 |
433b5b3bd785… | N1 |
| cruxmiter32seed7.cnf | — | 32 7 |
93d1cd11c993… | N1 |
| cruxmiter32seed8.cnf | — | 32 8 |
67cfa4b9c811… | N1 |
| cruxmiter32seed9.cnf | — | 32 9 |
73bb304bddb3… | N1 |
Notes
- reference copy produced by the author in December 2021 and given to SAT Heritage
- reference copy produced by the author in December 2021 and given to SAT Heritage; also used in the SAT Race 2019