SAT Solving on random 3-SAT 31–60
153MRPP r~
GQSAT*-5calls
Updated 4d ago
Evaluation Results
| Method | Links | ||
|---|---|---|---|
2025.09 | 153 | 35 | |
2025.09 | 146 | 34 | |
2025.09 | 100 | 0 | |
2025.09 | 89 | 54 | |
2025.09 | 84 | 58 | |
2025.09 | 82 | 56 | |
2025.09 | 80 | 58 | |
2025.09 | 75 | 65 | |
2025.09 | 75 | 61 | |
2025.09 | 73 | 0.66 | |
2025.09 | 69 | 0.66 | |
2025.09 | 21 | 96 |