Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Satisfiability Solving on Sturm-MBO
Loading...
57
SAT Count
GANRA
-2.28
13.11
28.5
43.89
Mar 8, 2026
SAT Count
Average Runtime (s)
Updated 2mo ago
Evaluation Results
Method
Method
Links
SAT Count
Average Runtime (s)
GANRA
Optimization Mode=manu...
2026.03
57
6.39
GANRA
Optimization Mode=manu...
2026.03
57
14.86
GANRA
Optimization Mode=LLM,...
2026.03
38
35.92
UGOTNL
2026.03
10
139.08
GANRA
Optimization Mode=seq....
2026.03
10
333.62
NRAgo
epsilon=10^{-4}
2026.03
6
-
Z3
2026.03
1
-
CVC5
2026.03
0
-
Feedback
Search any
task
Search any
task
