80:33:53
-1 day 15:26:07
Assignment is over

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


Time elapsed

39:26:07

Time Remaining

80:33:53

Starts in

-1 day 15:26:07

Ends in

3 days 8:33:53

Start

2025-11-26 16:00 CET

End

2025-12-01 16:00 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 68
Accepted submissions 18
Submission ratio 26.47%
Authors 23
Full solves [?] 15
Full solve Ratio 65.22%

Solution running time distribution