Boolean system solving on Random Boolean system n = 28, m = 56 (Overdefined)
203.5071Median Solving Time (s)Proposed SA
Evaluation Results
| Method | Links | |
|---|---|---|
| Proposed SA2025.09 | 203.5071 | |
| BCS2025.09 | 209.3141 | |
| Cryptominisat2025.09 | 3,696.5712 |
Loading the SOTA2 catalog…