| Dataset Name | SOTA Method | Metric | Trend | ||
|---|---|---|---|---|---|
| 3-SAT 9 variables (test) | T p950.11 | 5 | 1mo ago | ||
| 3-SAT 7 variables (test) | Time p95 (s)0.07 | 5 | 1mo ago | ||
| 3-SAT 5 variables (test) | Time p950.06 | 5 | 1mo ago | ||
| SAT 10 to 20 variables (test) | UCK+DSP | Overall Accuracy96.4 | 2 | 3mo ago |