Logical Equivalence Checking on Hard LEC instances for sorting algorithms
2,106INDET Count
Parallel CircuitSAT decomposition (Algorithm 3)
Updated 5mo ago
Evaluation Results
| Method | Links | |||||
|---|---|---|---|---|---|---|
| 2,106 | 5 | 8,478,171 | 48,015 | 176.5 | ||
| 2,858 | 4 | 4,862,491 | 27,771 | 175 |
Parallel CircuitSAT decomposition (Algorithm 3)
| Method | Links | |||||
|---|---|---|---|---|---|---|
| 2,106 | 5 | 8,478,171 | 48,015 | 176.5 | ||
| 2,858 | 4 | 4,862,491 | 27,771 | 175 |