MUS/MSS Enumeration on SMT
58Count of MUSes/MSSesHyMUSE
Evaluation results
| Method | Links | ||
|---|---|---|---|
| HyMUSEAgent=w/ Agent, Checks=10k2026.04 | 58 | 1.3 | |
| Baseline (MARCO)Agent=w/o Agent, Checks=10k2026.04 | 43.3 | — |
| Method | Links | ||
|---|---|---|---|
| HyMUSEAgent=w/ Agent, Checks=10k2026.04 | 58 | 1.3 | |
| Baseline (MARCO)Agent=w/o Agent, Checks=10k2026.04 | 43.3 | — |