ResearchDatasetsSynthetic SAT instancesSynthetic SAT instancesFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsSAT instance generationSynthetic SAT instances phase transition0.54Wall-clock Time (ms)22