SAT Solving on random 3-SAT (16–30)
1.44MRPP r~
GQSAT*-5calls
Updated 4d ago
Evaluation Results
| Method | Links | ||
|---|---|---|---|
2025.09 | 1.44 | 30 | |
2025.09 | 1.36 | 33 | |
2025.09 | 1 | 0 | |
2025.09 | 0.94 | 53 | |
2025.09 | 0.9 | 54 | |
2025.09 | 0.89 | 55 | |
2025.09 | 0.88 | 56 | |
2025.09 | 0.83 | 65 | |
2025.09 | 0.77 | 64 | |
2025.09 | 0.74 | 0.68 | |
2025.09 | 0.72 | 0.68 | |
2025.09 | 0.39 | 87 |