# MUS/MSS Enumeration on GC

Source: [MUS/MSS Enumeration on GC](<https://www.sota2.com/research/sota/mus-mss-enumeration-on-gc>)

Collection index: [llms.txt](<https://www.sota2.com/research/llms.txt>)

Data updated: 2026-04-13T08:32:26.344Z

Evaluation of model performance on the GC dataset, specifically focusing on the enumeration of Minimal Unsatisfiable Sets (MUS) and Minimal Satisfiability Sets (MSS), measured by count and improvement ratio.

A research result applies to its stated dataset, split, metric and evaluation configuration. Compare like-for-like settings, preserve the metric's unit and direction, and distinguish paper-reported results from independent reproduction. The best result recorded here is not a claim of exhaustive, current global coverage.

| Scope | Recorded value |
| --- | --- |
| Task | MUS/MSS Enumeration |
| Dataset (including any stated split) | GC |
| Metric | Count of MUS/MSS |
| Unit | SCALAR |
| Direction | Higher is better |
| Results loaded | 2 of 2 |
| Coverage | All results currently returned for this benchmark |

Evaluation settings may differ between results. The original papers and recorded configurations are needed to establish comparability. A shared metric name alone does not establish an identical protocol.

## Metrics

- [Count of MUS/MSS](<https://www.sota2.com/research/sota/mus-mss-enumeration-on-gc.md?metric=Count%20of%20MUS%2FMSS>): Higher is better; unit: SCALAR.

- [Improvement Ratio](<https://www.sota2.com/research/sota/mus-mss-enumeration-on-gc.md?metric=Improvement%20Ratio>): Higher is better; unit: SCALAR.

## Recorded results

| Method | Count of MUS/MSS | Result date | Report paper |
| --- | --- | --- | --- |
| HyMUSE | 31.6 | Not recorded | 69dc78607d0172140ec78908 |
| Baseline (MARCO) | 15.1 | Not recorded | 69dc78607d0172140ec78908 |

### HyMUSE

Count of MUS/MSS: 31.6. Result ID: 69dcaa0b47f34ce924c39efc.

[Reporting paper](<https://www.sota2.com/research/paper/69dc78607d0172140ec78908.md>)

[Method origin paper](<https://www.sota2.com/research/paper/69dc78607d0172140ec78908.md>)

Recorded evaluation configuration: {"Agent":"w/ Agent","Checks":"10k"}. This record does not assert independent reproduction.

### Baseline (MARCO)

Count of MUS/MSS: 15.1. Result ID: 69dcaa0b47f34ce924c39efb.

[Reporting paper](<https://www.sota2.com/research/paper/69dc78607d0172140ec78908.md>)

Recorded evaluation configuration: {"Agent":"w/o Agent","Checks":"10k"}. This record does not assert independent reproduction.

Page 1 of 1. This is an index page, not the full collection.