| Dataset Name | SOTA Method | Metric | Trend | ||
|---|---|---|---|---|---|
| SATLIB CBS controlled-backbone random 3-SAT | p-bit-guided CDCL | Conflicts (Pure)214 | 8 | 28d ago | |
| SATLIB BMS (backbone-minimal sub-instances) | p-bit-guided CDCL | Pure Conflicts650.5 | 1 | 28d ago | |
| SATLIB RTI random 3-SAT instances | p-bit-guided CDCL | Conflicts (Pure)259.5 | 1 | 28d ago |