ResearchDatasetsSAT CompetitionSAT CompetitionFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsSAT Solving100 SAT competition benchmarks 50 SAT and 50 UNSAT (test)52Pass@111SAT SolvingSAT Competition 2024118Solved Count2SAT SolvingSAT Competition—Primary metric0