0:00:00
-672 days 4:15:09
Assignment is over

Make-Ups (on demand, each task = 1 other task)


Time elapsed

2101:59:00

Time Remaining

0:00:00

Starts in

-672 days 4:15:09

Ends in

-584 days 14:16:09

Start

2023-09-04 11:00 CEST

End

2023-11-30 23:59 CET

Visit Results
Log in

Make-Ups (on demand, each task = 1 other task)

Problem C
Yet Satisfiability Again! — Problem Statistics

Back to problem description
Submissions 55
Accepted submissions 14
Submission ratio 25.45%
Authors 19
Accepted authors 12
Author ratio 63.16%

Solution running time distribution