Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
MUS/MSS Enumeration on SAT small
Loading...
3.29
Normalized Count
ReMUS
0.9084
1.5267
2.145
2.7633
Apr 10, 2026
Normalized Count
Count of MUSes/MSSes
Improvement Ratio
Updated 6d ago
Evaluation Results
Method
Method
Links
Normalized Count
Count of MUSes/MSSes
Improvement Ratio
ReMUS
Agent Integration=w/o...
2026.04
3.29
-
-
ReMUS
Agent Integration=w/ A...
2026.04
2.16
-
-
MARCO
Agent Integration=w/ A...
2026.04
1.79
-
-
TOME
Agent Integration=w/ A...
2026.04
1.69
-
-
TOME
Agent Integration=w/o...
2026.04
1.52
-
-
MARCO
Agent Integration=w/o...
2026.04
1
-
-
Baseline (MARCO)
Agent=w/o Agent, Check...
2026.04
-
119.5
-
HyMUSE
Agent=w/ Agent, Checks...
2026.04
-
211.3
1.79
Feedback
Search any
task
Search any
task