OpenKattis
National University of Singapore

Yet Satisfiability Again!

Problem statistics

  1. Submissions 30
  2. Accepted submissions 22
  3. Submission ratio 73%
  4. Authors 22
  5. Accepted authors 22
  6. Author ratio 100%
  1. Accepted
  2. Wrong Answer
  3. Time Limit Exceeded
  4. Compile Error

Solution running time distribution