Logical Equivalence Checking on Hard LEC instances for sorting algorithms
2,106INDET CountParallel CircuitSAT decomposition (Algorithm 3)
Evaluation Results
| Method | Links | |||||
|---|---|---|---|---|---|---|
| Parallel CircuitSAT decomposition (Algorithm 3)q=1000, d=3, t=500, Number of cores=180, Instance=BvS13,3, SAT solver=Kissat 4.0.12026.02 | 2,106 | 5 | 8,478,171 | 48,015 | 176.5 | |
| Parallel CircuitSAT decomposition (Algorithm 3)q=1000, d=3, t=500, Number of cores=180, Instance=BvP12,3, SAT solver=Kissat 4.0.12026.02 | 2,858 | 4 | 4,862,491 | 27,771 | 175 |