SAT Solving on SAT n=50 planted (alpha=4.0)
100Solve PercentageOccurrence + domain
Evaluation Results
| Method | Links | |
|---|---|---|
| Occurrence + domainState=Env2026.05 | 100 | |
| VSIDS + domainState=Env2026.05 | 100 | |
| Pure randomState=Env2026.05 | 100 | |
| MLP (state-only)State=Enriched2026.05 | 99.2 | |
| SSA (state-rebuilt)State=Enriched2026.05 | 92.2 | |
| SSA (cumulative)State=Enriched2026.05 | 35.9 | |
| Causal (cumulative)State=Enriched2026.05 | 21.7 | |
| Causal (state-rebuilt)State=Enriched2026.05 | 4.3 |