ResearchBenchmarksBoolean Satisfiability on SAT 10 to 20 variables (test)Follow96.4Overall AccuracyUCK+DSP93.69694.39895.195.802Feb 19, 2026Evaluation ResultsMethodMethodLinksOverall AccuracyPositive AccuracyNegative AccuracyBalance ScoreUCK+DSP2026.0296.499.693.20.936GIN2026.0293.893.793.90.999