ResearchTasksBoolean SatisfiabilityBoolean SatisfiabilityFollowBenchmarksDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyDatasetSOTA methodMetricTrendResultsLast updated3-SAT 9 variables (test)PySAT (Glucose4)0.11T p955Jun 8, 20263-SAT 7 variables (test)PySAT (Glucose4)0.07Time p95 (s)5Jun 8, 20263-SAT 5 variables (test)PySAT (Glucose4)0.06Time p955Jun 8, 2026SAT 10 to 20 variables (test)UCK+DSP96.4Overall Accuracy2Apr 6, 2026