ResearchDatasetsSAT CompetitionFollowBenchmarksTask NameDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyTask NameDataset NameSOTA ResultTrendResultsSAT Solving100 SAT competition benchmarks 50 SAT and 50 UNSAT (test)52Pass@111SAT SolvingSAT Competition 2024118Solved Count2SAT SolvingSAT Competition—Primary metric0