Maximum Independent Set on SATLIB
425.96MIS SizeKaMIS
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
| KaMISType=OR2022.10 | 425.96 | — | 37.58 | |
| KAMISType=Heuristic, Time=37.58m2025.02 | 425.96 | — | — | |
| KaMISType=Heuristics2026.02 | 425.96 | — | 38 | |
| GurobiType=OR2022.10 | 425.95 | 0 | 26 | |
| Exact (Gurobi)Type=Gurobi, Time=26.00m2025.02 | 425.95 | 0 | — | |
| GurobiType=Exact2026.02 | 425.95 | 0 | 26 | |
| KaMIS (ReduMIS, 60s)Type=GA, T=15k2026.04 | 425.95 | 0 | — | |
| KaMIS (EvoMIS)Type=GA, T=15k2026.04 | 425.95 | -0.0014 | — | |
| EoH w/ KaHIP&ARWType=LHH, T=15k2026.04 | 425.95 | -0.0015 | — | |
| BEAM w/ KaHIP&ARWType=LHH, T=15k2026.04 | 425.95 | -0 | — | |
| MCTS-AHD w/ KaHIP&ARWType=LHH, T=15k2026.04 | 425.91 | 0.01 | — | |
| AlphaEvolve w/ KaHIP&ARWType=LHH, T=15k2026.04 | 425.69 | 0.06 | — | |
| ARWType=LS, T=18m2026.04 | 425.51 | 0.1 | — | |
| CADOType=SL+RL2026.02 | 425.43 | 0.12 | 6.5 | |
| Fast T2TType=SL+Sampling, Ts=5, Tg=5, Time=25m35s2025.02 | 425.23 | 0.17 | — | |
| T2TType=SL+Sampling, Ts=50, Tg=30, Time=38m1s2025.02 | 425.18 | 0.18 | — | |
| DIFUSCOType=SL+Sampling, Ts=100, Time=53m41s2025.02 | 425.14 | 0.19 | — | |
| T2TType=SL+CS2026.02 | 425.02 | 0.22 | 8.1 | |
| DIFUSCOType=SL2026.02 | 424.56 | 0.33 | 8.3 | |
| BEAM w/ RLSAType=LHH, T=1502026.04 | 424.24 | 0.4 | — | |
| EoH w/ RLSAType=LHH, T=1502026.04 | 424.2 | 0.41 | — | |
| MCTS-AHD w/ RLSAType=LHH, T=1502026.04 | 423.96 | 0.47 | — | |
| ReEvo w/ RLSAType=LHH, T=1502026.04 | 423.61 | 0.55 | — | |
| Glow NetsType=UL+Sampling, Time=23.22m2025.02 | 423.54 | 0.57 | — | |
| GFlowNetsType=UL+S2026.02 | 423.54 | 0.57 | 23 | |
| DIMESType=RL+S2022.10 | 423.28 | 0.63 | 20.26 | |
| DIMESType=RL+Sampling, Time=20.26m2025.02 | 423.28 | 0.63 | — | |
| LwDType=RL+S2022.10 | 422.22 | 0.88 | 18.83 | |
| LwDType=RL+Sampling, Time=18.83m2025.02 | 422.22 | 0.88 | — | |
| LwDType=RL+S2026.02 | 422.22 | 0.88 | 19 | |
| DIMESType=RL+G2022.10 | 421.24 | 1.11 | 24.17 | |
| DIMESType=RL2026.02 | 421.24 | 1.11 | 24 | |
| IntelType=SL+G2022.10 | 420.66 | 1.48 | 23.05 | |
| IntelType=SL2026.02 | 420.66 | 1.48 | 23 | |
| RLSAType=SA, T=60k2026.04 | 411.81 | 3.32 | — |