MUS/MSS Enumeration on SAT large
130.6Number of MUSes/MSSesHyMUSE
Evaluation results
| Method | Links | ||
|---|---|---|---|
| HyMUSEAgent=w/ Agent, Checks=10k2026.04 | 130.6 | 2.46 | |
| Baseline (MARCO)Agent=w/o Agent, Checks=10k2026.04 | 54.1 | — |
| Method | Links | ||
|---|---|---|---|
| HyMUSEAgent=w/ Agent, Checks=10k2026.04 | 130.6 | 2.46 | |
| Baseline (MARCO)Agent=w/o Agent, Checks=10k2026.04 | 54.1 | — |