ECL/ENISE contest 08/04/21

Problem G
Yet Satisfiability Again!

Back to problem description

Problem statistics

Submissions 2929
Accepted submissions 816
Submission ratio 27.86%
Authors 561
Accepted authors 480
Author ratio 85.56%

Solution running time distribution