Empirical probability of k-SAT satisfiability
see eg sec 4.7.4 p103 of this thesis where a finite-size scaling formula based on a power law is applied and coefficients fit with experimental data.


PHASE TRANSITIONS OF BOOLEAN SATISFIABILITY VARIANTS, Bailey 2004