TaskDatasetSOTA resultTrendResults
Random Max-3-SAT instances r=4.30 N=100 (test)
0.68Avg Unsatisfied Clauses
7
Random Max-3-SAT instances r=4.15 N=100 (test)
0.36Avg Unsatisfied Clauses
7
Random Max-3-SAT instances r=4.00 N=100 (test)
0.14Avg Unsatisfied Clauses
7