| Dataset Name | SOTA Method | Metric | Trend | ||
|---|---|---|---|---|---|
| GISP (transfer) | Nodes Explored1,062 | 6 | 1mo ago | ||
| GISP (test) | Nodes Explored98 | 6 | 1mo ago | ||
| MAXSAT (transfer) | Nodes Explored160 | 6 | 1mo ago | ||
| MAXSAT (test) | Nodes Explored102 | 6 | 1mo ago | ||
| FCMCNF (transfer) | Nodes Explored75 | 6 | 1mo ago | ||
| FCMCNF (test) | Nodes Explored15 | 6 | 1mo ago |
