List your company
ResearchFormerly WizWand

Boolean system solving on Random Boolean system n = 28, m = 56 (Overdefined)

203.5071Median Solving Time (s)Proposed SA
63.7845361,006.9118431,950.039152,893.166457Sep 18, 2025
Updated 6mo ago

Evaluation results

MethodLinks
Proposed SA2025.09203.5071
BCS2025.09209.3141
Cryptominisat2025.093,696.5712