Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
SAT Solving on SAT Competition 2024
Loading...
118
Solved Count
GLUCOSE-PASAT
110.72
112.61
114.5
116.39
May 6, 2026
Solved Count
Completion Rate
SAT Count
UNSAT Count
Updated 27d ago
Evaluation Results
Method
Method
Links
Solved Count
Completion Rate
SAT Count
UNSAT Count
GLUCOSE-PASAT
Solver=Glucose, Time L...
2026.05
118
-
55
63
GLUCOSE-DEFAULT
Solver=Glucose, Time L...
2026.05
111
-
50
61
Feedback
Search any
task
Search any
task
