Random Max-3-SAT instances
Benchmarks
| Task Name | Dataset Name | SOTA Result | Trend | |
|---|---|---|---|---|
| Max-3-SAT | Random Max-3-SAT instances r=4.30 N=100 (test) | Avg Unsatisfied Clauses0.68 | 7 | |
| Max-3-SAT | Random Max-3-SAT instances r=4.15 N=100 (test) | Avg Unsatisfied Clauses0.36 | 7 | |
| Max-3-SAT | Random Max-3-SAT instances r=4.00 N=100 (test) | Avg Unsatisfied Clauses0.14 | 7 |
Showing 3 of 3 rows