SAT Competition
Benchmarks
| Task Name | Dataset Name | SOTA Result | Trend | |
|---|---|---|---|---|
| SAT Solving | 100 SAT competition benchmarks 50 SAT and 50 UNSAT (test) | Pass@152 | 11 | |
| SAT Solving | SAT Competition 2024 | Solved Count118 | 2 | |
| SAT Solving | SAT Competition | Metric- | 0 |
Showing 3 of 3 rows