SAT Solving on random 3-SAT 100
1.41MRPP r~
GQSAT*-3calls
Updated 4d ago
Evaluation Results
| Method | Links | ||
|---|---|---|---|
2025.09 | 1.41 | 36 | |
2025.09 | 1.4 | 36 | |
2025.09 | 1 | 0 | |
2025.09 | 0.85 | 55 | |
2025.09 | 0.83 | 56 | |
2025.09 | 0.82 | 56 | |
2025.09 | 0.81 | 57 | |
2025.09 | 0.8 | 58 | |
2025.09 | 0.76 | 60 | |
2025.09 | 0.69 | 0.61 | |
2025.09 | 0.66 | 0.64 | |
2025.09 | 0.03 | 99 |