Our new X account is live! Follow @wizwand_team for updates
Home
/
Benchmarks
3-SAT Solving on Random 3-SAT 61-100 variable range
Loading...
6.11
Wall-clock Time (s)
ImitSAT
6.0456
6.4803
6.915
7.3497
Sep 29, 2025
Wall-clock Time (s)
Updated 4d ago
Evaluation Results
Method
Method
Links
Wall-clock Time (s)
ImitSAT
2025.09
6.11
MiniSAT
2025.09
6.44
SATformer
2025.09
6.5
GQSAT
2025.09
7.72
Feedback
Search any
task
Search any
task
