| Dataset Name | SOTA Method | Metric | Trend | ||
|---|---|---|---|---|---|
| Random Max-3-SAT instances r=4.30 N=100 (test) | Avg Unsatisfied Clauses0.68 | 7 | 4d ago | ||
| Random Max-3-SAT instances r=4.15 N=100 (test) | Avg Unsatisfied Clauses0.36 | 7 | 4d ago | ||
| Random Max-3-SAT instances r=4.00 N=100 (test) | Avg Unsatisfied Clauses0.14 | 7 | 4d ago |