Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Satisfiability Solving on Kissing
Loading...
40
SAT Score
GANRA
15.04
21.52
28
34.48
Mar 8, 2026
SAT Score
Average Runtime (s)
Updated 4mo ago
Evaluation Results
Method
Method
Links
SAT Score
Average Runtime (s)
GANRA
Optimization Mode=manu...
2026.03
40
9.13
GANRA
Optimization Mode=LLM,...
2026.03
40
9.61
NRAgo
epsilon=10^{-4}
2026.03
39
24.72
GANRA
Optimization Mode=seq....
2026.03
39
30.45
Z3
2026.03
34
38.01
UGOTNL
2026.03
27
-
GANRA
Optimization Mode=manu...
2026.03
18
-
CVC5
2026.03
16
-
Feedback
Search any
task
Search any
task
