Boolean system solving on Canfil (Linear Feedback Shift Register, LFSR) Boolean system
24.5523Median Solving Time (s)Proposed SA
Evaluation results
| Method | Links | |
|---|---|---|
| Proposed SA2025.09 | 24.5523 | |
| BCS2025.09 | 27.0594 | |
| Cryptominisat2025.09 | 685.844 | |
| PolyBoRi2025.09 | 1,075.3898 |