0:00:00
-1086 days 2:54:42
Assignment is over

Exercise 11: Search


Time elapsed

8759:59:48

Time Remaining

0:00:00

Starts in

-1086 days 2:54:42

Ends in

-721 days 2:54:54

Start

2022-01-01 00:00 CET

End

2022-12-31 23: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