| Dataset Name | SOTA Method | Metric | Trend | ||
|---|---|---|---|---|---|
| PARITY structured SAT family | MRPP r-tilde1 | 15 | 4d ago | ||
| JNH structured SAT family | GQSAT* | MRPP r-tilde1.84 | 15 | 4d ago | |
| random 3-SAT 100 | GQSAT*-3calls | MRPP r~1.41 | 12 | 4d ago | |
| random 3-SAT 50 | GQSAT*-3calls | MRPP r~1.37 | 12 | 4d ago | |
| random 3-SAT 61–100 | GQSAT*-3calls | MRPP r~1.59 | 12 | 4d ago | |
| random 3-SAT 31–60 | GQSAT*-5calls | MRPP r~153 | 12 | 4d ago | |
| random 3-SAT (16–30) | GQSAT*-5calls | MRPP r~1.44 | 12 | 4d ago | |
| random 3-SAT 5–15 | GQSAT*-5calls | MRPP r~143 | 12 | 4d ago | |
| PRET | SATformer | MRPP r~1 | 9 | 4d ago | |
| PHOLE | GQSAT* | MRPP r˜1.05 | 9 | 4d ago | |
| AIM | GQSAT | MRPP r˜1.2 | 9 | 4d ago | |
| PRET structured SAT family | MRPP r-tilde1 | 6 | 4d ago | ||
| PHOLE structured SAT family | MRPP r-tilde1 | 6 | 4d ago | ||
| AIM structured SAT | ImitSAT | MRPP r-tilde1.03 | 6 | 4d ago | |
| Synthetic datasets Larger Distribution | NSNet | Success Rate9.13 | 5 | 4d ago | |
| Synthetic datasets Same Distribution | NSNet | SR63.16 | 5 | 4d ago |
