SAT Solving on SATLIB RTI BMS
46.2Sample Solved Rate
Gödel Trick Uniform
Updated 1mo ago
Evaluation Results
| Method | Links | ||
|---|---|---|---|
2025.03 | 46.2 | 95.6 | |
2025.03 | 8.3 | 28.3 | |
2025.03 | 0 | 0 | |
2025.03 | 0 | 0 |
Gödel Trick Uniform
| Method | Links | ||
|---|---|---|---|
2025.03 | 46.2 | 95.6 | |
2025.03 | 8.3 | 28.3 | |
2025.03 | 0 | 0 | |
2025.03 | 0 | 0 |