ResearchBenchmarks3-SAT Solving on Random 3-SAT 31-60 variable rangeFollow2.54Wall-clock Time (s)MiniSAT2.50642.73322.963.1868Sep 29, 2025Evaluation ResultsMethodMethodLinksWall-clock Time (s)MiniSAT2025.092.54ImitSAT2025.092.7GQSAT2025.093.26SATformer2025.093.38