CSI 5310 Kattis Problems

Problem F
3SAT — Problem Statistics

Back to problem description
Submissions 1636
Accepted submissions 170
Submission ratio 10.39%
Authors 150
Accepted authors 97
Author ratio 64.67%

Solution running time distribution