Share your thoughts, 1 month free Claude Pro on usSee more

SAT Solving on SAT n=50 planted (alpha=4.0)

100Solve Percentage

Occurrence + domain

Updated 12d ago

Evaluation Results

Method	Links
Occurrence + domain 2026.05		100
VSIDS + domain 2026.05		100
Pure random 2026.05		100
MLP (state-only) 2026.05		99.2
SSA (state-rebuilt) 2026.05		92.2
SSA (cumulative) 2026.05		35.9
Causal (cumulative) 2026.05		21.7
Causal (state-rebuilt) 2026.05		4.3