Boolean Satisfiability Solving on SATLIB BMS (backbone-minimal sub-instances)
650.5Pure Conflictsp-bit-guided CDCL
Evaluation Results
| Method | Links | ||||||
|---|---|---|---|---|---|---|---|
| p-bit-guided CDCL#Vars=100, #Clauses=429, Ratio=4.292026.05 | 650.5 | 404.5 | 37.8 | 15,742.5 | 9,245.5 | 41.3 |
Loading the SOTA2 catalog…