SAT Solving on random 3-SAT 50
1.37MRPP r~
GQSAT*-3calls
Updated 4d ago
Evaluation Results
| Method | Links | ||
|---|---|---|---|
2025.09 | 1.37 | 38 | |
2025.09 | 1.23 | 37 | |
2025.09 | 1 | 0 | |
2025.09 | 0.88 | 60 | |
2025.09 | 0.86 | 57 | |
2025.09 | 0.74 | 69 | |
2025.09 | 0.73 | 0.62 | |
2025.09 | 0.71 | 57 | |
2025.09 | 0.7 | 59 | |
2025.09 | 0.69 | 0.62 | |
2025.09 | 0.66 | 64 | |
2025.09 | 0.17 | 97 |