3-SAT
Benchmarks
| Task Name | Dataset Name | SOTA Result | Trend | |
|---|---|---|---|---|
| 3-SAT Solving | 3-SAT 100 sampled formulas 20 variables, 91 clauses (phase transition 4.258 * n) (test) | Satisfied Clauses Rate99.85 | 11 | |
| Combinatorial Reasoning | 3-SAT | Accuracy90.9 | 8 | |
| Boolean Satisfiability | 3-SAT 9 variables (test) | T p950.11 | 5 | |
| Boolean Satisfiability | 3-SAT 7 variables (test) | Time p95 (s)0.07 | 5 | |
| Boolean Satisfiability | 3-SAT 5 variables (test) | Time p950.06 | 5 | |
| Mathematical Reasoning | 3-SAT (test) | Accuracy91.9 | 5 |
Showing 6 of 6 rows