Our new X account is live! Follow @wizwand_team for updates
Home
/
Benchmarks
Max-3-SAT on Random Max-3-SAT instances r=4.00 N=100 (test)
Loading...
0.14
Avg Unsatisfied Clauses
Walksat
-0.3496
2.9552
6.26
9.5648
Oct 1, 2023
Avg Unsatisfied Clauses
Avg Runtime (s)
Updated 4d ago
Evaluation Results
Method
Method
Links
Avg Unsatisfied Clauses
Avg Runtime (s)
Walksat
Restarts=100
2023.10
0.14
0.12
Walksat
Restarts=1
2023.10
0.94
0.01
Survey Propagation
2023.10
3.32
0.001
OptGNN
2023.10
4.46
0.01
ErdősGNN
2023.10
5.46
0.01
Autograd SDP
2023.10
6.85
6.8
Low-Rank SDP
2023.10
12.38
0.66
Feedback
Search any
task
Search any
task