SAT Solving on random 3-SAT 61–100
1.59MRPP r~
GQSAT*-3calls
Updated 4d ago
Evaluation Results
| Method | Links | ||
|---|---|---|---|
2025.09 | 1.59 | 38 | |
2025.09 | 1.51 | 34 | |
2025.09 | 1.15 | 48 | |
2025.09 | 1 | 0 | |
2025.09 | 0.94 | 53 | |
2025.09 | 0.83 | 53 | |
2025.09 | 0.8 | 59 | |
2025.09 | 0.78 | 57 | |
2025.09 | 0.78 | 64 | |
2025.09 | 0.75 | 0.62 | |
2025.09 | 0.63 | 0.62 | |
2025.09 | 0.1 | 98 |