Logical Equivalence Checking on LEC instances for sorting algorithms
0Number of INDETs
Algorithm 3 (Parallel CircuitSAT decomposition)
Updated 5mo ago
Evaluation Results
| Method | Links | |||||
|---|---|---|---|---|---|---|
| 0 | 1 | 73,971 | 2,170 | 34 | ||
| 25 | 2 | 332,392 | 9,698 | 34.2 | ||
| 922 | 3 | 1,333,851 | 38,523 | 34.6 | ||
| 1,251 | 3 | 1,723,511 | 49,553 | 34.7 | ||
| 1,548 | 3 | 2,000,801 | 57,649 | 34.7 |