ResearchTasksMUS/MSS EnumerationMUS/MSS EnumerationFollowBenchmarksDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyDatasetSOTA methodMetricTrendResultsLast updatedSAT smallReMUS3.29Normalized Count6Apr 13, 2026SMTHyMUSE58Count of MUSes/MSSes2Apr 13, 2026GCHyMUSE31.6Count of MUS/MSS2Apr 13, 2026SAT largeHyMUSE130.6Number of MUSes/MSSes2Apr 13, 2026