Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
MUS/MSS Enumeration on SAT large
Loading...
130.6
Number of MUSes/MSSes
HyMUSE
51.04
71.695
92.35
113.005
Apr 10, 2026
Number of MUSes/MSSes
Improvement Ratio
Updated 6d ago
Evaluation Results
Method
Method
Links
Number of MUSes/MSSes
Improvement Ratio
HyMUSE
Agent=w/ Agent, Checks...
2026.04
130.6
2.46
Baseline (MARCO)
Agent=w/o Agent, Check...
2026.04
54.1
-
Feedback
Search any
task
Search any
task
