#14: Sprint Round 13

# Name Publish time Difficulty Compiler Source code policy
61 Flat CPO 2020/09/27 20:00:00 1 Coq 8.11.1 Public
62 If zero were not nat 2020/09/27 20:00:00 2 Coq 8.11.1 Public
63 Perfect Square? 2020/09/27 20:00:00 2 Coq 8.11.1 Public
64 Eat the Candies 2020/09/27 20:00:00 3 Coq 8.11.1 Public

Scoreboard

# User A (1000) B (2000) C (2000) D (3000) Total
1 kkob 991 1958 1896 1683 6528
2 yodvhskd 990 1953 1880 4823
3 kik 981 1917 1785 4683
4 sorata 994 1888 1608 4490
5 kano 782 1587 2369

Submissions

# Time Task Name User Name Status
1729 2020/09/27 21:57:52 Eat the Candies kik Failure
1728 2020/09/27 21:45:17 Eat the Candies kkob Success
1727 2020/09/27 20:52:06 Flat CPO kano Success
1726 2020/09/27 20:49:26 If zero were not nat kano Success
1725 2020/09/27 20:46:56 Perfect Square? sorata Success
1724 2020/09/27 20:46:17 Perfect Square? sorata Failure
1723 2020/09/27 20:25:42 Perfect Square? kik Success
1722 2020/09/27 20:14:16 Perfect Square? yodvhskd Success
1721 2020/09/27 20:13:24 If zero were not nat sorata Success
1720 2020/09/27 20:12:24 Perfect Square? kkob Success
1719 2020/09/27 20:09:54 If zero were not nat kik Success
1718 2020/09/27 20:05:32 If zero were not nat yodvhskd Success
1717 2020/09/27 20:04:59 If zero were not nat kkob Success
1716 2020/09/27 20:04:22 Flat CPO kik Success
1715 2020/09/27 20:02:15 Flat CPO yodvhskd Success
1714 2020/09/27 20:01:56 Flat CPO kkob Success
1713 2020/09/27 20:01:18 Flat CPO sorata Success