SAT Solving on SAT n=75 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 | 57.5 | |
| SSA (cumulative)State=Enriched2026.05 | 11.4 | |
| Causal (cumulative)State=Enriched2026.05 | 6.4 |