Boolean system solving on Biviumb stream cipher transformation Boolean system
15.0584Median Solving Time (s)Proposed SA
Evaluation Results
| Method | Links | |
|---|---|---|
| Proposed SA2025.09 | 15.0584 | |
| BCS2025.09 | 15.5012 | |
| PolyBoRi2025.09 | 69.7069 | |
| Cryptominisat2025.09 | 296.949 |