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

SAT Solving on SAT n=75 random (alpha=4.26)

100Solve Rate

Occurrence + domain

Updated 12d ago

Evaluation Results

Method	Links
Occurrence + domain 2026.05		100
VSIDS + domain 2026.05		100
Pure random 2026.05		57.5
SSA (cumulative) 2026.05		11.4
Causal (cumulative) 2026.05		6.4