Satisfiability Solving on Kissing
40SAT ScoreGANRA
Evaluation Results
| Method | Links | ||
|---|---|---|---|
| GANRAOptimization Mode=manual, epsilon=10^{-4}2026.03 | 40 | 9.13 | |
| GANRAOptimization Mode=LLM, epsilon=10^{-4}2026.03 | 40 | 9.61 | |
| NRAgoepsilon=10^{-4}2026.03 | 39 | 24.72 | |
| GANRAOptimization Mode=seq., epsilon=10^{-4}2026.03 | 39 | 30.45 | |
| Z32026.03 | 34 | 38.01 | |
| UGOTNL2026.03 | 27 | — | |
| GANRAOptimization Mode=manual, epsilon=02026.03 | 18 | — | |
| CVC52026.03 | 16 | — |