SAT Solving on SATCOMP 2025
141Solved CountGLUCOSE-PASAT
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
| GLUCOSE-PASATSolver=Glucose, Time Limit=5000 seconds2026.05 | 141 | 62 | 79 | |
| GLUCOSE-DEFAULTSolver=Glucose, Time Limit=5000 seconds2026.05 | 135 | 60 | 75 |
Loading the SOTA2 catalog…