Our new X account is live! Follow @wizwand_team for updates
WorkDL logo mark

Maximal Independent Set on SATLIB SAT instances in CNF (test)

425.96MIS Size

KAMIS

420.448421.879423.31424.741Feb 16, 2023
Updated 4d ago

Evaluation Results

MethodLinks
2023.02
425.96-37.58
2023.02
425.95026
2023.02
425.130.2123.74
2023.02
424.50.348.76
2023.02
423.280.6320.26
2023.02
422.220.8818.83
2023.02
420.661.4823.05