SAT Instance Generation on LEC
267Hardness Score (%)
HardSATGEN
Updated 5mo ago
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
2024.09 | 267 | 6,441 | 0.492 | |
2024.09 | 176 | 4.3 | 0.004 | |
2024.09 | 0 | 1.2 | - | |
2024.09 | 0 | 3.3 | - |
HardSATGEN
| Method | Links | |||
|---|---|---|---|---|
2024.09 | 267 | 6,441 | 0.492 | |
2024.09 | 176 | 4.3 | 0.004 | |
2024.09 | 0 | 1.2 | - | |
2024.09 | 0 | 3.3 | - |