Exercise 11: Search

Problem A
Yet Satisfiability Again!

Back to problem description

Problem statistics

Submissions 1533
Accepted submissions 395
Submission ratio 25.77%
Authors 267
Accepted authors 258
Author ratio 96.63%

Solution running time distribution