List your company
ResearchFormerly WizWand

Boolean system solving on Random Boolean system n = 28 m = 28 Square system

83.5664Median Solving Time (s)Proposed SA
81.98867692.638313103.28795113.937587Sep 18, 2025
Updated 6mo ago

Evaluation results

MethodLinks
Proposed SA2025.0983.5664
BCS2025.0984.5413
Cryptominisat2025.09123.0095