0:00:00
-2913 days 8:00:30
Assignment is over

AAPS17 Exercise 11


Time elapsed

8760:00:00

Time Remaining

0:00:00

Starts in

-2913 days 8:00:30

Ends in

-2548 days 8:00:30

Start

2016-12-31 01:00 CET

End

2017-12-31 01:00 CET

Visit Results
Log in

AAPS17 Exercise 11

Problem D
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