0:00:00
-1890 days 13:50:29
Assignment is over

5: All of the above (need 2 accepted)


Time elapsed

1469:00:00

Time Remaining

0:00:00

Starts in

-1890 days 13:50:29

Ends in

-1829 days 8:50:29

Start

2020-09-25 17:00 CEST

End

2020-11-25 21:00 CET

Visit Results
Log in

5: All of the above (need 2 accepted)

Problem C
Yet Satisfiability Again! — Problem Statistics

Back to problem description
Submissions 68
Accepted submissions 18
Submission ratio 26.47%
Authors 23
Full solves [?] 15
Full solve Ratio 65.22%

Solution running time distribution