Logical Equivalence Checking on LEC instances for sorting algorithms
0Number of INDETsAlgorithm 3 (Parallel CircuitSAT decomposition)
Evaluation results
| Method | Links | |||||
|---|---|---|---|---|---|---|
| Algorithm 3 (Parallel CircuitSAT decomposition)Instance=PvS14,2, q=1000, d=3, t=500, Number of cores=36, SAT solver=Kissat 4.0.12026.02 | 0 | 1 | 73,971 | 2,170 | 34 | |
| Algorithm 3 (Parallel CircuitSAT decomposition)Instance=BvP11,3, q=1000, d=3, t=500, Number of cores=36, SAT solver=Kissat 4.0.12026.02 | 25 | 2 | 332,392 | 9,698 | 34.2 | |
| Algorithm 3 (Parallel CircuitSAT decomposition)Instance=BvP17,2, q=1000, d=3, t=500, Number of cores=36, SAT solver=Kissat 4.0.12026.02 | 922 | 3 | 1,333,851 | 38,523 | 34.6 | |
| Algorithm 3 (Parallel CircuitSAT decomposition)Instance=PvS11,3, q=1000, d=3, t=500, Number of cores=36, SAT solver=Kissat 4.0.12026.02 | 1,251 | 3 | 1,723,511 | 49,553 | 34.7 | |
| Algorithm 3 (Parallel CircuitSAT decomposition)Instance=PvS9,4, q=1000, d=3, t=500, Number of cores=36, SAT solver=Kissat 4.0.12026.02 | 1,548 | 3 | 2,000,801 | 57,649 | 34.7 |