Yet Satisfiability Again!

Back to problem description

Problem statistics

Submissions 2205
Accepted submissions 650
Submission ratio 29.48%
Authors 474
Accepted authors 405
Author ratio 85.44%

Solution running time distribution