List your company
ResearchFormerly WizWand

Maximum Independent Set on SATLIB

425.96MIS SizeKaMIS
411.244415.0645418.885422.7055Oct 8, 2022May 10, 2023Dec 10, 2023Jul 11, 2024Feb 10, 2025Sep 12, 2025Apr 14, 2026
Updated 6mo ago

Evaluation results

MethodLinks
KaMISType=OR2022.10425.96—37.58
KAMISType=Heuristic, Time=37.58m2025.02425.96——
KaMISType=Heuristics2026.02425.96—38
GurobiType=OR2022.10425.95026
Exact (Gurobi)Type=Gurobi, Time=26.00m2025.02425.950—
GurobiType=Exact2026.02425.95026
KaMIS (ReduMIS, 60s)Type=GA, T=15k2026.04425.950—
KaMIS (EvoMIS)Type=GA, T=15k2026.04425.95-0.0014—
EoH w/ KaHIP&ARWType=LHH, T=15k2026.04425.95-0.0015—
BEAM w/ KaHIP&ARWType=LHH, T=15k2026.04425.95-0—
MCTS-AHD w/ KaHIP&ARWType=LHH, T=15k2026.04425.910.01—
AlphaEvolve w/ KaHIP&ARWType=LHH, T=15k2026.04425.690.06—
ARWType=LS, T=18m2026.04425.510.1—
CADOType=SL+RL2026.02425.430.126.5
Fast T2TType=SL+Sampling, Ts=5, Tg=5, Time=25m35s2025.02425.230.17—
T2TType=SL+Sampling, Ts=50, Tg=30, Time=38m1s2025.02425.180.18—
DIFUSCOType=SL+Sampling, Ts=100, Time=53m41s2025.02425.140.19—
T2TType=SL+CS2026.02425.020.228.1
DIFUSCOType=SL2026.02424.560.338.3
BEAM w/ RLSAType=LHH, T=1502026.04424.240.4—
EoH w/ RLSAType=LHH, T=1502026.04424.20.41—
MCTS-AHD w/ RLSAType=LHH, T=1502026.04423.960.47—
ReEvo w/ RLSAType=LHH, T=1502026.04423.610.55—
Glow NetsType=UL+Sampling, Time=23.22m2025.02423.540.57—
GFlowNetsType=UL+S2026.02423.540.5723
DIMESType=RL+S2022.10423.280.6320.26
DIMESType=RL+Sampling, Time=20.26m2025.02423.280.63—
LwDType=RL+S2022.10422.220.8818.83
LwDType=RL+Sampling, Time=18.83m2025.02422.220.88—
LwDType=RL+S2026.02422.220.8819
DIMESType=RL+G2022.10421.241.1124.17
DIMESType=RL2026.02421.241.1124
IntelType=SL+G2022.10420.661.4823.05
IntelType=SL2026.02420.661.4823
RLSAType=SA, T=60k2026.04411.813.32—