Maximum Satisfiability on 21 target distributions MAXSAT (test)
1Q_LLM
LLM Synthesis Agent
Updated 19d ago
Evaluation Results
| Method | Links | |||||||
|---|---|---|---|---|---|---|---|---|
2026.05 | 1 | 0.122 | 0.074 | 17.1 | 217.4 | 328.8 | 1 |
LLM Synthesis Agent
| Method | Links | |||||||
|---|---|---|---|---|---|---|---|---|
2026.05 | 1 | 0.122 | 0.074 | 17.1 | 217.4 | 328.8 | 1 |