0:00:00
-560 days 2:53:39
Assignment is over

Exercise 11: Search


Time elapsed

8759:59:00

Time Remaining

0:00:00

Starts in

-560 days 2:53:39

Ends in

-195 days 2:54:39

Start

2024-01-01 01:00 CET

End

2024-12-31 00:59 CET

Visit Results
Log in

Exercise 11: Search

Problem A
Yet Satisfiability Again! — Problem Statistics

Back to problem description
Submissions 2209
Accepted submissions 560
Submission ratio 25.35%
Authors 380
Accepted authors 371
Author ratio 97.63%

Solution running time distribution