MUS/MSS Enumeration on SAT small
3.29Normalized CountReMUS
Evaluation results
| Method | Links | |||
|---|---|---|---|---|
| ReMUSAgent Integration=w/o Agent2026.04 | 3.29 | — | — | |
| ReMUSAgent Integration=w/ Agent2026.04 | 2.16 | — | — | |
| MARCOAgent Integration=w/ Agent2026.04 | 1.79 | — | — | |
| TOMEAgent Integration=w/ Agent2026.04 | 1.69 | — | — | |
| TOMEAgent Integration=w/o Agent2026.04 | 1.52 | — | — | |
| MARCOAgent Integration=w/o Agent2026.04 | 1 | — | — | |
| Baseline (MARCO)Agent=w/o Agent, Checks=10k2026.04 | — | 119.5 | — | |
| HyMUSEAgent=w/ Agent, Checks=10k2026.04 | — | 211.3 | 1.79 |