| Dataset Name | SOTA Method | Metric | Trend | ||
|---|---|---|---|---|---|
| 3-SAT 100 sampled formulas 20 variables, 91 clauses (phase transition 4.258 * n) (test) | EBM | Satisfied Clauses Rate99.85 | 11 | 9d ago | |
| Random 3-SAT 61-100 variable range | ImitSAT | Wall-clock Time (s)6.11 | 4 | 3mo ago | |
| Random 3-SAT 31-60 variable range | Wall-clock Time (s)2.54 | 4 | 3mo ago | ||
| Random 3-SAT 16-30 variable range | Wall-clock time (seconds)0.53 | 4 | 3mo ago |