ResearchDatasetsRandom Max-3-SAT instancesFollowBenchmarksTask NameDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyTask NameDataset NameSOTA ResultTrendResultsMax-3-SATRandom Max-3-SAT instances r=4.30 N=100 (test)0.68Avg Unsatisfied Clauses7Max-3-SATRandom Max-3-SAT instances r=4.15 N=100 (test)0.36Avg Unsatisfied Clauses7Max-3-SATRandom Max-3-SAT instances r=4.00 N=100 (test)0.14Avg Unsatisfied Clauses7