Boolean Satisfiability Solving on SATLIB RTI random 3-SAT instances
259.5Conflicts (Pure)p-bit-guided CDCL
Evaluation Results
| Method | Links | ||||||
|---|---|---|---|---|---|---|---|
| p-bit-guided CDCL#Vars=100, #Clauses=429, Ratio=4.292026.05 | 259.5 | 43 | 83.4 | 6,012 | 1,015.5 | 83.1 |
Loading the SOTA2 catalog…