SAT Solving on SAT Competition 2024
118Solved CountGLUCOSE-PASAT
Evaluation Results
| Method | Links | ||||
|---|---|---|---|---|---|
| GLUCOSE-PASATSolver=Glucose, Time Limit=5000 seconds2026.05 | 118 | — | 55 | 63 | |
| GLUCOSE-DEFAULTSolver=Glucose, Time Limit=5000 seconds2026.05 | 111 | — | 50 | 61 |
Loading the SOTA2 catalog…