211:06:56
-356 days 4:52:04
Assignment is over

Exercise 11: Search


Time elapsed

8548:52:04

Time Remaining

211:06:56

Starts in

-356 days 4:52:04

Ends in

8 days 19:06:56

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 1894
Accepted submissions 482
Submission ratio 25.45%
Authors 322
Accepted authors 314
Author ratio 97.52%

Solution running time distribution