SAT Solving on SATLIB CBS controlled-backbone random 3-SAT
214Conflicts (Pure)
p-bit-guided CDCL
Updated 28d ago
Evaluation Results
| Method | Links | ||||||
|---|---|---|---|---|---|---|---|
2026.05 | 214 | 32 | 85 | 4,943.5 | 802.5 | 83.8 | |
2026.05 | 226.5 | 37 | 83.7 | 5,317 | 913.5 | 82.8 | |
2026.05 | 235 | 34 | 85.5 | 5,370.5 | 825.5 | 84.6 | |
2026.05 | 245.5 | 44 | 82.1 | 5,600 | 1,063.5 | 81 | |
2026.05 | 247.5 | 45.5 | 81.6 | 5,559.5 | 1,103 | 80.2 | |
2026.05 | 272.5 | 47 | 82.8 | 6,194.5 | 1,087 | 82.5 | |
2026.05 | 277.5 | 51 | 81.6 | 6,352 | 1,236.5 | 80.5 | |
2026.05 | 286.5 | 55 | 80.8 | 6,693.5 | 1,289.5 | 80.7 |