0:00:00
-3310 days 2:36:02
Assignment is over

AAPS16 Exercise 11


Time elapsed

8760:00:00

Time Remaining

0:00:00

Starts in

-3310 days 2:36:02

Ends in

-2945 days 2:36:02

Start

2016-01-01 01:00 CET

End

2016-12-31 01:00 CET

Visit Results
Log in

AAPS16 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