Categories Companies Research

Loading the SOTA2 catalog…

Explore

Categories Companies Research

Contribute

Join SOTA2 Contact

SOTA2

© 2026 SOTA2

Build in Bellevue, USA

WizWand is now SOTA2 Research

Papers Benchmarks Datasets Tasks

3-SAT Solving research benchmarks · SOTA2 Research

3-SAT Solving

Benchmarks

Dataset NameSOTA MethodSort

Dataset NameSOTA methodMetricTrendResultsLast Updated

3-SAT 100 sampled formulas 20 variables, 91 clauses (phase transition 4.258 * n) (test)

99.85Satisfied Clauses Rate

11

May 25, 2026

Random 3-SAT 61-100 variable range

6.11Wall-clock Time (s)

4

Feb 26, 2026

Random 3-SAT 31-60 variable range

2.54Wall-clock Time (s)

4

Feb 26, 2026

Random 3-SAT 16-30 variable range

0.53Wall-clock time (seconds)

4

Feb 26, 2026

Popular datasets

Random 3-SAT 3-SAT

Follow for updates

Join SOTA2 Contact