Our new X account is live! Follow @wizwand_team for updates
Home
/
Benchmarks
Max-3-SAT Solving on Random Instances (r=4.15, N=100, test)
Loading...
0.36
Avg Unsatisfied Clauses
Walksat
-0.1584
3.3408
6.84
10.3392
Oct 1, 2023
Avg Unsatisfied Clauses
Avg Time (s)
Updated 4d ago
Evaluation Results
Method
Method
Links
Avg Unsatisfied Clauses
Avg Time (s)
Walksat
Restarts=100
2023.10
0.36
0.25
Walksat
Restarts=1
2023.10
1.46
0.01
Survey Propagation
2023.10
3.87
0.001
OptGNN
2023.10
5.15
0.01
ErdősGNN
2023.10
6.14
0.01
Autograd SDP
2023.10
7.52
6.75
Low-Rank SDP
2023.10
13.32
0.67
Feedback
Search any
task
Search any
task