SAT Instance Generation on LEC
267Hardness Score (%)HardSATGEN
Evaluation results
| Method | Links | |||
|---|---|---|---|---|
| HardSATGEN2024.09 | 267 | 6,441 | 0.492 | |
| HardCore2024.09 | 176 | 4.3 | 0.004 | |
| W2SAT2024.09 | 0 | 1.2 | — | |
| G2MILP2024.09 | 0 | 3.3 | — |
| Method | Links | |||
|---|---|---|---|---|
| HardSATGEN2024.09 | 267 | 6,441 | 0.492 | |
| HardCore2024.09 | 176 | 4.3 | 0.004 | |
| W2SAT2024.09 | 0 | 1.2 | — | |
| G2MILP2024.09 | 0 | 3.3 | — |