SAT Solving on SAT n=50 random (alpha=4.26)
100Solve RateOccurrence + domain
Evaluation Results
| Method | Links | |
|---|---|---|
| Occurrence + domainState=Env2026.05 | 100 | |
| VSIDS + domainState=Env2026.05 | 100 | |
| Pure randomState=Env2026.05 | 100 | |
| SSA (cumulative)State=Enriched2026.05 | 25.6 | |
| Causal (cumulative)State=Enriched2026.05 | 16 |