ResearchDatasetsSATCOMPSATCOMPFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsSAT SolvingSATCOMP 2025141Solved Count2SAT SolvingSATCOMP 2023148Solved Instances Count2