Files of Satisfiability thresholds of random $k$-SAT

back to table · edit · history · where entries came from · files

As of the current version, 2026-09-16 17:31, “move the random-clause convention out of the overlong Definition and into Comments after audit flagged the section boundary”. See the history to look at the files of an earlier one.

namesizelast changed
generate.py 6496 bytes 2026-09-16

Download the table and its files together — as of this version, so the code in it is the code that produced the numbers in it.

These are recorded, not executed. Several of them take hours or days to run, and nothing on this site runs them.