Boolean system solving on Random Boolean system n = 25, m = 25 (Square system)
9.5485Median Solving Time (s)Proposed SA
Evaluation Results
| Method | Links | |
|---|---|---|
| Proposed SA2025.09 | 9.5485 | |
| BCS2025.09 | 10.6667 | |
| Cryptominisat2025.09 | 18.4095 | |
| PolyBoRi2025.09 | 154.5533 |