Combinatorial Optimization on Syndeopt (SDS)
98.3Pass RateCP-SAT
Evaluation Results
| Method | Links | ||
|---|---|---|---|
| CP-SATTime (s)=1.212±0.0542026.05 | 98.3 | 1 | |
| Local SearchTime (s)=0.165±0.0052026.05 | 98.3 | 10 | |
| GreedyTime (s)=0.0012026.05 | 98.3 | 22.8 | |
| HeroTime (s)=0.191±0.1312026.05 | 97.8 | 5 | |
| BnBTime (s)=3.301±0.0482026.05 | 97.3 | 19.1 | |
| ShinkaEvolveTime (s)=0.127±0.0292026.05 | 91.6 | 14.4 | |
| Base (Best-of-64)Time (s)=17.434±0.7932026.05 | 85.6 | 28.7 | |
| Hero (w/o Structure)Time (s)=0.115±0.0182026.05 | 74.8 | 34.7 | |
| Hero (+Oracle)Time (s)=0.247±0.1282026.05 | 65.3 | 40.6 | |
| Hero (w/o Prompt)Time (s)=0.400±0.5482026.05 | 64.4 | 47.8 | |
| Hero (+Diversity)Time (s)=0.195±0.1032026.05 | 61.3 | 44.6 |