Our new X account is live! Follow @wizwand_team for updates
Home
/
Benchmarks
3-SAT Solving on Random 3-SAT 16-30 variable range
Loading...
0.53
Wall-clock time (seconds)
MiniSAT
0.4488
0.9969
1.545
2.0931
Sep 29, 2025
Wall-clock time (seconds)
Updated 4d ago
Evaluation Results
Method
Method
Links
Wall-clock time (seconds)
MiniSAT
2025.09
0.53
ImitSAT
2025.09
0.85
GQSAT
2025.09
1.47
SATformer
2025.09
2.56
Feedback
Search any
task
Search any
task
