ResearchBenchmarks3-SAT Solving on Random 3-SAT 16-30 variable rangeFollow0.53Wall-clock time (seconds)MiniSAT0.44880.99691.5452.0931Sep 29, 2025Evaluation ResultsMethodMethodLinksWall-clock time (seconds)MiniSAT2025.090.53ImitSAT2025.090.85GQSAT2025.091.47SATformer2025.092.56