| Dataset Name | SOTA Method | Metric | Trend | ||
|---|---|---|---|---|---|
| Random 3-SAT 61-100 variable range | ImitSAT | Wall-clock Time (s)6.11 | 4 | 1mo ago | |
| Random 3-SAT 31-60 variable range | Wall-clock Time (s)2.54 | 4 | 1mo ago | ||
| Random 3-SAT 16-30 variable range | Wall-clock time (seconds)0.53 | 4 | 1mo ago |