Max-3-SAT on Random Max-3-SAT instances r=4.00 N=100 (test)
0.14Avg Unsatisfied Clauses
Walksat
Updated 4d ago
Evaluation Results
| Method | Links | ||
|---|---|---|---|
2023.10 | 0.14 | 0.12 | |
2023.10 | 0.94 | 0.01 | |
2023.10 | 3.32 | 0.001 | |
2023.10 | 4.46 | 0.01 | |
2023.10 | 5.46 | 0.01 | |
2023.10 | 6.85 | 6.8 | |
2023.10 | 12.38 | 0.66 |