

![0_image_0.png](0_image_0.png)

![0_image_1.png](0_image_1.png)

DLP median times DLP 90th percentile times
*SAT median times *SAT 90th percentile times Figure 2: Results for C = 3, m = 1, d = 1, and p = 0:5 (our new method)
Satisfiability and Unsatisfiability Fractions Trivial Satisfiability and Unsatisfiability Fractions