0:00:00
-1849 days 2:24:16
Assignment is over

AAPS Exercise 11


Time elapsed

8760:00:00

Time Remaining

0:00:00

Starts in

-1849 days 2:24:16

Ends in

-1484 days 2:24:16

Start

2020-01-01 01:00 CET

End

2020-12-31 01:00 CET

Visit Results
Log in

AAPS 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