8344:09:18
-20106 days 7:50:42
Assignment is over

Exercise 11: Search


Time elapsed

482551:50:42

Time Remaining

8344:09:18

Starts in

-20106 days 7:50:42

Ends in

347 days 16:09:18

Start

1970-01-01 01:00 CET

End

2026-01-01 01:00 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