ResearchTasks3-SAT Solving3-SAT SolvingFollowBenchmarksDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyDatasetSOTA methodMetricTrendResultsLast updated3-SAT 100 sampled formulas 20 variables, 91 clauses (phase transition 4.258 * n) (test)EBM99.85Satisfied Clauses Rate11May 25, 2026Random 3-SAT 61-100 variable rangeImitSAT6.11Wall-clock Time (s)4Feb 26, 2026Random 3-SAT 31-60 variable rangeMiniSAT2.54Wall-clock Time (s)4Feb 26, 2026Random 3-SAT 16-30 variable rangeMiniSAT0.53Wall-clock time (seconds)4Feb 26, 2026
3-SAT 100 sampled formulas 20 variables, 91 clauses (phase transition 4.258 * n) (test)EBM99.85Satisfied Clauses Rate11May 25, 2026