Random 3-SAT
Benchmarks
| Task Name | Dataset Name | SOTA Result | Trend | |
|---|---|---|---|---|
| SAT Solving | random 3-SAT 100 | MRPP r~1.41 | 12 | |
| SAT Solving | random 3-SAT 50 | MRPP r~1.37 | 12 | |
| SAT Solving | random 3-SAT 61–100 | MRPP r~1.59 | 12 | |
| SAT Solving | random 3-SAT 31–60 | MRPP r~153 | 12 | |
| SAT Solving | random 3-SAT (16–30) | MRPP r~1.44 | 12 | |
| SAT Solving | random 3-SAT 5–15 | MRPP r~143 | 12 | |
| 3-SAT Solving | Random 3-SAT 61-100 variable range | Wall-clock Time (s)6.11 | 4 | |
| 3-SAT Solving | Random 3-SAT 31-60 variable range | Wall-clock Time (s)2.54 | 4 | |
| 3-SAT Solving | Random 3-SAT 16-30 variable range | Wall-clock time (seconds)0.53 | 4 |
Showing 9 of 9 rows