Boolean Satisfiability (SAT) on SAT Hard (test)
64Accuracy
Recursive Model
Updated 4mo ago
Evaluation Results
| Method | Links | |
|---|---|---|
2026.03 | 64 | |
2026.03 | 52.9 | |
2026.03 | 51.4 | |
2026.03 | 50 | |
2026.03 | 48.8 | |
2026.03 | 46.4 |
Recursive Model
| Method | Links | |
|---|---|---|
2026.03 | 64 | |
2026.03 | 52.9 | |
2026.03 | 51.4 | |
2026.03 | 50 | |
2026.03 | 48.8 | |
2026.03 | 46.4 |