Our new X account is live! Follow @wizwand_team for updates
Home
/
Benchmarks
3-SAT Solving on Random 3-SAT 31-60 variable range
Loading...
2.54
Wall-clock Time (s)
MiniSAT
2.5064
2.7332
2.96
3.1868
Sep 29, 2025
Wall-clock Time (s)
Updated 4d ago
Evaluation Results
Method
Method
Links
Wall-clock Time (s)
MiniSAT
2025.09
2.54
ImitSAT
2025.09
2.7
GQSAT
2025.09
3.26
SATformer
2025.09
3.38
Feedback
Search any
task
Search any
task
