Boolean system solving on Serpent cryptographic cipher Boolean system
0.4152Median Solving Time (s)BCS
Evaluation Results
| Method | Links | |
|---|---|---|
| BCS2025.09 | 0.4152 | |
| Proposed SA2025.09 | 0.4713 | |
| PolyBoRi2025.09 | 111.1028 | |
| Cryptominisat2025.09 | 294.6242 |
Loading the SOTA2 catalog…