| Dataset Name | SOTA Method | Metric | Trend | ||
|---|---|---|---|---|---|
| MD4-43 | Parallel CircuitSAT decomposition | Number of INDETs4,020 | 1 | 5mo ago | |
| MD4-42 | Parallel CircuitSAT decomposition | INDET Count1,904 | 1 | 5mo ago | |
| MD4-41 | Parallel CircuitSAT decomposition | Number of INDETs7,455 | 1 | 5mo ago | |
| MD4-40 | Parallel CircuitSAT decomposition | Number of INDETs3,089 | 1 | 5mo ago |