ResearchBenchmarksMaximal Independent Set on SATLIB SAT instances in CNF (test)Maximal Independent Set on SATLIB SAT instances in CNF (test)Follow425.96MIS SizeKAMIS420.448421.879423.31424.741Feb 16, 2023Evaluation resultsMethodMethodLinksMIS SizeMIS GapTime (s)KAMISType=HEURISTICSType=HEURISTICS2023.02425.96—37.58GUROBIType=EXACTType=EXACT2023.02425.95026DIFUSCOType=SL+SType=SL+S2023.02425.130.2123.74DIFUSCOType=SL+GType=SL+G2023.02424.50.348.76DIMESType=RL+SType=RL+S2023.02423.280.6320.26DIMESType=RL+GType=RL+G2023.02422.220.8818.83INTELType=SL+GType=SL+G2023.02420.661.4823.05