Mid-Central USA Programming Contest 2015 Warm-up 1 (pgclone)

Problem J
Yet Satisfiability Again!

Back to problem description

Problem statistics

Submissions 2926
Accepted submissions 813
Submission ratio 27.79%
Authors 560
Accepted authors 479
Author ratio 85.54%

Solution running time distribution