SAT Solving on random 3-SAT 5–15
143MRPP r~
GQSAT*-5calls
Updated 4d ago
Evaluation Results
| Method | Links | ||
|---|---|---|---|
2025.09 | 143 | 23 | |
2025.09 | 138 | 25 | |
2025.09 | 100 | 0 | |
2025.09 | 100 | 45 | |
2025.09 | 100 | 46 | |
2025.09 | 100 | 48 | |
2025.09 | 100 | 48 | |
2025.09 | 75 | 68 | |
2025.09 | 73 | 0.73 | |
2025.09 | 73 | 0.71 | |
2025.09 | 73 | 67 | |
2025.09 | 57 | 71 |