Boolean system solving on Biviuma stream cipher transformation Boolean system
14.6622Median Solving Time (s)BCS
Evaluation results
| Method | Links | |
|---|---|---|
| BCS2025.09 | 14.6622 | |
| Proposed SA2025.09 | 14.6898 | |
| Cryptominisat2025.09 | 77.2662 | |
| PolyBoRi2025.09 | 1,991.579 |
| Method | Links | |
|---|---|---|
| BCS2025.09 | 14.6622 | |
| Proposed SA2025.09 | 14.6898 | |
| Cryptominisat2025.09 | 77.2662 | |
| PolyBoRi2025.09 | 1,991.579 |