Clustering on G4SATBench Hard (test)
0.79NMIForge-Sat
Evaluation Results
| Method | Links | ||
|---|---|---|---|
| Forge-Sat2026.04 | 0.79 | 0.66 | |
| Forge-Mip-Sat2026.04 | 0.77 | 0.66 | |
| Forge-Mip2026.04 | 0.76 | 0.61 | |
| Static-Sat2026.04 | 0.74 | 0.63 |
| Method | Links | ||
|---|---|---|---|
| Forge-Sat2026.04 | 0.79 | 0.66 | |
| Forge-Mip-Sat2026.04 | 0.77 | 0.66 | |
| Forge-Mip2026.04 | 0.76 | 0.61 | |
| Static-Sat2026.04 | 0.74 | 0.63 |