SAT Solving on SATLIB CBS controlled-backbone random 3-SAT
214Conflicts (Pure)p-bit-guided CDCL
Evaluation results
| Method | Links | ||||||
|---|---|---|---|---|---|---|---|
| p-bit-guided CDCL#Vars=100, #Clauses=449, Ratio=4.492026.05 | 214 | 32 | 85 | 4,943.5 | 802.5 | 83.8 | |
| p-bit-guided CDCL#Vars=100, #Clauses=435, Ratio=4.352026.05 | 226.5 | 37 | 83.7 | 5,317 | 913.5 | 82.8 | |
| p-bit-guided CDCL#Vars=100, #Clauses=441, Ratio=4.412026.05 | 235 | 34 | 85.5 | 5,370.5 | 825.5 | 84.6 | |
| p-bit-guided CDCL#Vars=100, #Clauses=429, Ratio=4.292026.05 | 245.5 | 44 | 82.1 | 5,600 | 1,063.5 | 81 | |
| p-bit-guided CDCL#Vars=100, #Clauses=423, Ratio=4.232026.05 | 247.5 | 45.5 | 81.6 | 5,559.5 | 1,103 | 80.2 | |
| p-bit-guided CDCL#Vars=100, #Clauses=418, Ratio=4.182026.05 | 272.5 | 47 | 82.8 | 6,194.5 | 1,087 | 82.5 | |
| p-bit-guided CDCL#Vars=100, #Clauses=411, Ratio=4.112026.05 | 277.5 | 51 | 81.6 | 6,352 | 1,236.5 | 80.5 | |
| p-bit-guided CDCL#Vars=100, #Clauses=403, Ratio=4.032026.05 | 286.5 | 55 | 80.8 | 6,693.5 | 1,289.5 | 80.7 |