| PARITY structured SAT family | | MRPP r-tilde1 | | 15 | 5mo ago |
| JNH structured SAT family | GQSAT* | MRPP r-tilde1.84 | | 15 | 5mo ago |
| random 3-SAT 100 | GQSAT*-3calls | MRPP r~1.41 | | 12 | 5mo ago |
| random 3-SAT 50 | GQSAT*-3calls | MRPP r~1.37 | | 12 | 5mo ago |
| random 3-SAT 61–100 | GQSAT*-3calls | MRPP r~1.59 | | 12 | 5mo ago |
| random 3-SAT 31–60 | GQSAT*-5calls | MRPP r~153 | | 12 | 5mo ago |
| random 3-SAT (16–30) | GQSAT*-5calls | MRPP r~1.44 | | 12 | 5mo ago |
| random 3-SAT 5–15 | GQSAT*-5calls | MRPP r~143 | | 12 | 5mo ago |
| 100 SAT competition benchmarks 50 SAT and 50 UNSAT (test) | | Pass@152 | | 11 | 2mo ago |
| PRET | SATformer | MRPP r~1 | | 9 | 5mo ago |
| PHOLE | GQSAT* | MRPP r˜1.05 | | 9 | 5mo ago |
| AIM | GQSAT | MRPP r˜1.2 | | 9 | 5mo ago |
| KnightTour (in-domain) | AutoModSAT | PAR-2 Score7,864.93 | | 8 | 1mo ago |
| MineSweeper (in-domain) | AutoModSAT | PAR-27.51 | | 8 | 1mo ago |
| hamiltonian (in-domain) | AutoModSAT | PAR-2 Score118.39 | | 8 | 1mo ago |
| argumentation (in-domain) | AutoModSAT | PAR-2 Score5,083.01 | | 8 | 1mo ago |
| social-golfer (in-domain) | AutoModSAT | PAR-2 Score4,067.68 | | 8 | 1mo ago |
| SAT n=50 planted (alpha=4.0) | | Solve Percentage100 | | 8 | 2mo ago |
| PRET structured SAT family | | MRPP r-tilde1 | | 6 | 5mo ago |
| PHOLE structured SAT family | | MRPP r-tilde1 | | 6 | 5mo ago |
| AIM structured SAT | ImitSAT | MRPP r-tilde1.03 | | 6 | 5mo ago |
| SAT n=75 random (alpha=4.26) | | Solve Rate100 | | 5 | 2mo ago |
| SAT n=50 random (alpha=4.26) | | Solve Rate100 | | 5 | 2mo ago |
| Synthetic datasets Larger Distribution | NSNet | Success Rate9.13 | | 5 | 5mo ago |
| Synthetic datasets Same Distribution | NSNet | SR63.16 | | 5 | 5mo ago |
