List your company
ResearchFormerly WizWand

Boolean system solving on Random Boolean system n = 25, m = 25 (Square system)

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

Evaluation results

MethodLinks
Proposed SA2025.099.5485
BCS2025.0910.6667
Cryptominisat2025.0918.4095
PolyBoRi2025.09154.5533