7495:33:12
-20141 days 16:26:48
Assignment is over

Exercise 11: Search


Time elapsed

483400:26:48

Time Remaining

7495:33:12

Starts in

-20141 days 16:26:48

Ends in

312 days 7:33:12

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 1897
Accepted submissions 485
Submission ratio 25.57%
Authors 323
Accepted authors 315
Author ratio 97.52%

Solution running time distribution