CSI 5310 Kattis Problems

Problem F
3SAT

Back to problem description

Problem statistics

Submissions 1378
Accepted submissions 152
Submission ratio 11.03%
Authors 123
Accepted authors 78
Author ratio 63.41%

Solution running time distribution