SAT Solving on SATCOMP 2023
148Solved Instances CountGLUCOSE-PASAT
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
| GLUCOSE-PASATSolver=Glucose, Time Limit=5000 seconds2026.05 | 148 | 64 | 84 | |
| GLUCOSE-DEFAULTSolver=Glucose, Time Limit=5000 seconds2026.05 | 133 | 59 | 74 |
Loading the SOTA2 catalog…