1492:17:47
-47 days 7:41:13
Assignment is over

Make-ups (on demand, 1 task here = 1 other task)


Time elapsed

1135:41:13

Time Remaining

1492:17:47

Starts in

-47 days 7:41:13

Ends in

62 days 4:17:47

Start

2025-08-27 22:00 CEST

End

2025-12-15 08:59 CET

Visit Results
Log in
 

Make-ups (on demand, 1 task here = 1 other task)

Problem C
Yet Satisfiability Again! — Problem Statistics

Back to problem description
Submissions 59
Accepted submissions 16
Submission ratio 27.12%
Authors 21
Full solves [?] 14
Full solve Ratio 66.67%

Solution running time distribution