ResearchBenchmarks3-SAT Solving on Random 3-SAT 61-100 variable rangeFollow6.11Wall-clock Time (s)ImitSAT6.04566.48036.9157.3497Sep 29, 2025Evaluation ResultsMethodMethodLinksWall-clock Time (s)ImitSAT2025.096.11MiniSAT2025.096.44SATformer2025.096.5GQSAT2025.097.72