CSI 5310 Kattis Problems

Problem G
3SAT — Problem Statistics

Back to problem description
Submissions 1513
Accepted submissions 148
Submission ratio 9.78%
Authors 134
Accepted authors 82
Author ratio 61.19%

Solution running time distribution