SAT Instance Generation on Synthetic SAT instances phase transition
0.54Wall-clock Time (ms)
LPGNN
Updated 2mo ago
Evaluation Results
| Method | Links | ||
|---|---|---|---|
2026.05 | 0.54 | 1.2 | |
2026.05 | 0.66 | - | |
2026.05 | 0.71 | 1.2 | |
2026.05 | 0.87 | - | |
2026.05 | 1.81 | 1.2 | |
2026.05 | 2.26 | - | |
2026.05 | 2.71 | 1.6 | |
2026.05 | 3.64 | 2.5 | |
2026.05 | 4.47 | - | |
2026.05 | 5.47 | 12 | |
2026.05 | 7.42 | 71 | |
2026.05 | 8.98 | - | |
2026.05 | 9.32 | 438 | |
2026.05 | 10 | - | |
2026.05 | 10 | - | |
2026.05 | 19.3 | 10 | |
2026.05 | 39 | 10 | |
2026.05 | 66.1 | - | |
2026.05 | 272 | - | |
2026.05 | 525 | - | |
2026.05 | 4,080 | - | |
2026.05 | 6,188 | - |