ResearchTasksSAT Instance GenerationSAT Instance GenerationFollowBenchmarksDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyDatasetSOTA methodMetricTrendResultsLast updatedSynthetic SAT instances phase transitionLPGNN0.54Wall-clock Time (ms)22May 11, 2026LECHardSATGEN267Hardness Score (%)4Feb 26, 2026