ECC
Benchmarks
| Task Name | Dataset Name | SOTA Result | Trend | |
|---|---|---|---|---|
| Formal Verification | ECC | Assertion Count48 | 9 | |
| Combinatorial Optimization | ECC (Error-Correcting Codes) | Energy Consumption (J)7,056.78 | 9 |
Showing 2 of 2 rows
| Task Name | Dataset Name | SOTA Result | Trend | |
|---|---|---|---|---|
| Formal Verification | ECC | Assertion Count48 | 9 | |
| Combinatorial Optimization | ECC (Error-Correcting Codes) | Energy Consumption (J)7,056.78 | 9 |