Share your thoughts, 1 month free Claude Pro on usSee more
WorkDL logo mark

Maximum Independent Set on SATLIB

425.96MIS Size

KaMIS

411.244415.0645418.885422.7055Oct 8, 2022May 10, 2023Dec 10, 2023Jul 11, 2024Feb 10, 2025Sep 12, 2025Apr 14, 2026
Updated 3d ago

Evaluation Results

MethodLinks
2022.10
425.96-37.58
2025.02
425.96--
2026.02
425.96-38
2022.10
425.95026
2025.02
425.950-
2026.02
425.95026
2026.04
425.950-
2026.04
425.95-0.0014-
2026.04
425.95-0.0015-
2026.04
425.95-0-
2026.04
425.910.01-
2026.04
425.690.06-
2026.04
425.510.1-
2026.02
425.430.126.5
2025.02
425.230.17-
2025.02
425.180.18-
2025.02
425.140.19-
2026.02
425.020.228.1
2026.02
424.560.338.3
2026.04
424.240.4-
2026.04
424.20.41-
2026.04
423.960.47-
2026.04
423.610.55-
2025.02
423.540.57-
2026.02
423.540.5723
2022.10
423.280.6320.26
2025.02
423.280.63-
2022.10
422.220.8818.83
2025.02
422.220.88-
2026.02
422.220.8819
2022.10
421.241.1124.17
2026.02
421.241.1124
2022.10
420.661.4823.05
2026.02
420.661.4823
2026.04
411.813.32-