Maximum Satisfiability on 21 target distributions MAXSAT (test)
1Q_LLMLLM Synthesis Agent
Evaluation results
| Method | Links | |||||||
|---|---|---|---|---|---|---|---|---|
| LLM Synthesis Agent2026.05 | 1 | 0.122 | 0.074 | 17.1 | 217.4 | 328.8 | 1 |
| Method | Links | |||||||
|---|---|---|---|---|---|---|---|---|
| LLM Synthesis Agent2026.05 | 1 | 0.122 | 0.074 | 17.1 | 217.4 | 328.8 | 1 |