| Dataset Name | SOTA Method | Metric | Trend | ||
|---|---|---|---|---|---|
| LEC instances for sorting algorithms | Algorithm 3 (Parallel CircuitSAT decomposition) | Number of INDETs0 | 5 | 5mo ago | |
| Hard LEC instances for sorting algorithms | Parallel CircuitSAT decomposition (Algorithm 3) | INDET Count2,106 | 2 | 5mo ago |