Satisfiability Solving on Sturm-MBO
57SAT CountGANRA
Evaluation Results
| Method | Links | ||
|---|---|---|---|
| GANRAOptimization Mode=manual, epsilon=02026.03 | 57 | 6.39 | |
| GANRAOptimization Mode=manual, epsilon=10^{-4}2026.03 | 57 | 14.86 | |
| GANRAOptimization Mode=LLM, epsilon=10^{-4}2026.03 | 38 | 35.92 | |
| UGOTNL2026.03 | 10 | 139.08 | |
| GANRAOptimization Mode=seq., epsilon=10^{-4}2026.03 | 10 | 333.62 | |
| NRAgoepsilon=10^{-4}2026.03 | 6 | — | |
| Z32026.03 | 1 | — | |
| CVC52026.03 | 0 | — |