LEC
Benchmarks
| Task Name | Dataset Name | SOTA Result | Trend | |
|---|---|---|---|---|
| Logical Equivalence Checking | LEC instances for sorting algorithms | Number of INDETs0 | 5 | |
| SAT Instance Generation | LEC | Hardness Score (%)267 | 4 |
Showing 2 of 2 rows
| Task Name | Dataset Name | SOTA Result | Trend | |
|---|---|---|---|---|
| Logical Equivalence Checking | LEC instances for sorting algorithms | Number of INDETs0 | 5 | |
| SAT Instance Generation | LEC | Hardness Score (%)267 | 4 |