3-SAT
Benchmarks
Task NameDataset NameSOTA ResultTrendResults
3-SAT 100 sampled formulas 20 variables, 91 clauses (phase transition 4.258 * n) (test)
99.85Satisfied Clauses Rate
11
3-SAT
90.9Accuracy
8
3-SAT 9 variables (test)
0.11T p95
5
3-SAT 7 variables (test)
0.07Time p95 (s)
5
3-SAT 5 variables (test)
0.06Time p95
5
3-SAT (test)
91.9Accuracy
5