| PARITY structured SAT family | | MRPP r-tilde1 | | 15 | 3mo ago |
| JNH structured SAT family | GQSAT* | MRPP r-tilde1.84 | | 15 | 3mo ago |
| random 3-SAT 100 | GQSAT*-3calls | MRPP r~1.41 | | 12 | 3mo ago |
| random 3-SAT 50 | GQSAT*-3calls | MRPP r~1.37 | | 12 | 3mo ago |
| random 3-SAT 61–100 | GQSAT*-3calls | MRPP r~1.59 | | 12 | 3mo ago |
| random 3-SAT 31–60 | GQSAT*-5calls | MRPP r~153 | | 12 | 3mo ago |
| random 3-SAT (16–30) | GQSAT*-5calls | MRPP r~1.44 | | 12 | 3mo ago |
| random 3-SAT 5–15 | GQSAT*-5calls | MRPP r~143 | | 12 | 3mo ago |
| 100 SAT competition benchmarks 50 SAT and 50 UNSAT (test) | | Pass@152 | | 11 | 15d ago |
| PRET | SATformer | MRPP r~1 | | 9 | 3mo ago |
| PHOLE | GQSAT* | MRPP r˜1.05 | | 9 | 3mo ago |
| AIM | GQSAT | MRPP r˜1.2 | | 9 | 3mo ago |
| SAT n=50 planted (alpha=4.0) | | Solve Percentage100 | | 8 | 12d ago |
| PRET structured SAT family | | MRPP r-tilde1 | | 6 | 3mo ago |
| PHOLE structured SAT family | | MRPP r-tilde1 | | 6 | 3mo ago |
| AIM structured SAT | ImitSAT | MRPP r-tilde1.03 | | 6 | 3mo ago |
| SAT n=75 random (alpha=4.26) | | Solve Rate100 | | 5 | 12d ago |
| SAT n=50 random (alpha=4.26) | | Solve Rate100 | | 5 | 12d ago |
| Synthetic datasets Larger Distribution | NSNet | Success Rate9.13 | | 5 | 3mo ago |
| Synthetic datasets Same Distribution | NSNet | SR63.16 | | 5 | 3mo ago |
| SATLIB BEIJING | Gödel Trick Uniform | Solved Samples (%)14.8 | | 4 | 1mo ago |
| SATLIB DIMACS | Gödel Trick Uniform | Sample Solved Rate1.4 | | 4 | 1mo ago |
| SATLIB BMC | Product Logic | Sample Solved Rate0 | | 4 | 1mo ago |
| SATLIB QG | Gödel Trick Logistic | Sample Solved Rate0.4 | | 4 | 1mo ago |
| SATLIB AIS | Gödel Trick Uniform | Sample Solved Rate29.8 | | 4 | 1mo ago |
