Boolean system solving on MayaSbox Boolean system
0.1094Median Solving Time (s)BCS
Evaluation Results
| Method | Links | |
|---|---|---|
| BCS2025.09 | 0.1094 | |
| Proposed SA2025.09 | 0.1604 | |
| PolyBoRi2025.09 | 1.0146 | |
| Cryptominisat2025.09 | 34.6922 |
Loading the SOTA2 catalog…
| Method | Links | |
|---|---|---|
| BCS2025.09 | 0.1094 | |
| Proposed SA2025.09 | 0.1604 | |
| PolyBoRi2025.09 | 1.0146 | |
| Cryptominisat2025.09 | 34.6922 |