0:00:00
-139 days 22:44:58
Assignment is over

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


Time elapsed

2172:59:00

Time Remaining

0:00:00

Starts in

-139 days 22:44:58

Ends in

-49 days 9:45:58

Start

2025-08-27 22:00 CEST

End

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

Solution running time distribution