Boolean system solving on Present cryptographic cipher Boolean system
5.4847Median Solving Time (s)Proposed SA
Evaluation Results
| Method | Links | |
|---|---|---|
| Proposed SA2025.09 | 5.4847 | |
| BCS2025.09 | 5.7168 | |
| Cryptominisat2025.09 | 22.6832 | |
| PolyBoRi2025.09 | 518.7079 |
Loading the SOTA2 catalog…